Home > Authors > Michael Butler > Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Recent activity
Rate this book to see your activity here.
7 Books Similar to Abstract State Machines, Alloy, B, TLA, VDM, and Z by Michael Butler
Bookscovery readers who liked Abstract State Machines, Alloy, B, TLA, VDM, and Z also like
Cell Culture and Upstream Processing, Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education and Formal Methods and Software Engineering.
How many of these have you read?
Comments and reviews of Abstract State Machines, Alloy, B, TLA, VDM, and Z
Please sign in to leave a comment