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)
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since 25 March 2015
New - Soft cover
Condition: New
Quantity: Over 20 available
Add to basket