Quick Reads

Formal Methods and Hybrid Real-Time Systems > Editions

by Cliff B. Jones First published November 9th 2007

Sort by
Format
Language
Editions
Showing 1-2 of 2
Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems (Paperback)
Published September 10th 2008 by Springer
Paperback, 564 pages
Author(s):
ISBN:
9783540844280 (ISBN10: 3540844287)
ASIN:
3540844287
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, 4700)
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, 4700)
Published September 6th 2007 by Springer
2007, Paperback, 558 pages
Author(s):
ISBN:
9783540752202 (ISBN10: 354075220X)
ASIN:
354075220X
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page