Items related to Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems - Softcover

 
9783540844280: Formal Methods and Hybrid Real-Time Systems
Softcover
ISBN 10: 3540844287 ISBN 13: 9783540844280
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540752202: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays: 4700 (Lecture Notes in Computer Science, 4700)

Featured Edition

ISBN 10:  354075220X ISBN 13:  9783540752202
Publisher: Springer, 2007
Softcover