
Abstract State Machines, Alloy, B, TLA, VDM, and Z
First published 2016 · 436 pages
Books like Abstract State Machines, Alloy, B, TLA, VDM, and Z
More by Michael Butler
- Global PoliticsGlobal Politics2019
- Animal Cell Culture and TechnologyAnimal Cell Culture and Technology2003
- Objective Proof for ChristianityObjective Proof for Christianity2024
Introduction To Organisational Behaviour2011- International Conflict ManagementInternational Conflict Management2009
Language, power and identity1999- Pale riderPale rider
Rejection and Emancipation1991- Return to GanReturn to Gan2000
- EuropeEurope1986
- Without RedemptionWithout Redemption2022
Global Politics with Connect 1-Term Access Card2015