Recently found by viaLibri....
2020-12-30 16:02:41
Springer
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]
Check availability:

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