Abstract State Machines, Alloy, B, TLA, VDM, and Z
4 contributors - Paperback
£44.99
Find out more
Michael Butler Author & Editor
Michael Butler-Associate Dean of Science; Professor of Cell Technology, Department of Microbiology, School of Science, University of Manitoba, Winnipeg, Canada
