Cover of Abstract State Machines, Alloy, B, TLA, VDM, and Z

Mark as

Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Michael Butler

Buy this book Review

More by Michael Butler

Cover of Cell Culture and Upstream Processing

Cover of Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education

Cover of Formal Methods and Software Engineering

Cover of Global Politics

Cover of Global Politics with Connect 1-Term Access Card

Cover of Integrated Formal Methods

Cover of Making of Modern Switzerland, 1848-1998

Cover of Rejection and emancipation

Cover of Theoretical Cybersecurity

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment