No products in the cart.
Return to shop
Showing all 2 results
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
Software Engineering and Formal Methods SEFM 2020 Collocated Workshops 1st Edition by Loek Cleophas, Mieke Massink ISBN 9783030672201
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
