No products in the cart.
Return to shop
Showing the single result
eBook PDF
Formal Methods and Hybrid Real Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 1st Edition by Cliff B Jones, Zhiming Liu, Jim Woodcock ISBN 354075220X
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
