Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Paperback, 2007 ed.)
This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects."
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
16640
@R156pm x 12* 
Ships in 10 - 15 working days
Add to wish list
Product Description
This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects."
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 4700 |
Release date | September 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Cliff B. Jones, Zhiming Liu, Jim Woodcock |
Dimensions | 235 x 155 x 28mm (L x W x T) |
Format | Paperback |
Pages | 542 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-75220-2 |
Barcode | 9783540752202 |
Categories | |
LSN | 3-540-75220-X |
Be the first to know about our
latest deals & promos! Subscribe Now
