Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2007)


OUR TOP PICK

£140.98

+ £20.60 Addl. Costs
Quantity
1 available
Condition
New
Sold by
Business seller: 1771cohen (1660)99.5% positive Feedback
Delivery
Est. 3 Aug - 7 AugFrom GB, United Kingdom
Returns
Free return postage