Recently found by viaLibri....

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)
2007-11-09. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May be re-issue. Buy with confidence, excellent customer service!
Bookseller:
Books Express
[United States]
Search for more books on viaLibri
LINK TO THIS PAGE: https://www.vialibri.net/years/books/277900127/2007-springer-formal-methods-and-hybrid-real-time
Browse more rare books from the year 2007
Browse more rare books from the year 2007