Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler
Paperback
Not Available
Formal Methods and Software Engineering
A Practitioner's Guide to Mental Health Law
Hardback
Animal Cell Culture and Technology
Butler and 1 more
Ebook
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
