005.39 / P698l
Platzer, Andre
Logical analysis of hybrid systems : providing theorems for complex dynamics / Andre Platzer .- Heidelberg: Springer, 2010 .- xxx, 426p .
ISBN: 9783642145087
Subject Headings:
Programming;
Copy Details:
Acc. No.: A171569, Full Call No.: 005.39 P698l, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Platzer, Andre
Logical analysis of hybrid systems : providing theorems for complex dynamics / Andre Platzer .- Heidelberg: Springer, 2010 .- xxx, 426p .
ISBN: 9783642145087
Subject Headings:
Programming;
Copy Details:
Acc. No.: A171569, Full Call No.: 005.39 P698l, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------