Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Cliff B. Jones | Zhiming Liu | Jim Woodcock
Computers / Software Development & Engineering / General
| Publication Date: | 06 September 2007 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540752202 |
| Format: | Paperback softback |
| Page Count: | 542 |