FM 2011: Formal MethodsMichael Butler
FM 2011: Formal Methods
Michael Butler · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Series
- Lecture Notes in Computer Science -- 6664
- Publisher
- Springer Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783642214363
Data source: Wikidata
More by Michael Butler
Making of Modern Switzerland, 1848-1998Michael Butler
Making of Modern Switzerland, 1848-1998
Michael Butler · 2014
Practitioner's Guide to Mental Health LawMichael Butler
Practitioner's Guide to Mental Health Law
Michael Butler · 2014
Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler · 2016
Formal Methods and Software EngineeringMichael Butler
Formal Methods and Software Engineering
Michael Butler · 2015
Rigorous development of complex fault-tolerant systemsMichael Butler
Rigorous development of complex fault-tolerant systems
Michael Butler · 2007
Cell Culture and Upstream ProcessingMichael Butler
Cell Culture and Upstream Processing
Michael Butler · 2007
Rejection and EmancipationMichael Butler
Rejection and Emancipation
Michael Butler · 1991
BRIAN TRACY QUOTESMichael Butler
BRIAN TRACY QUOTES
Michael Butler · 2026
Business of HackingMichael Butler
Business of Hacking
Michael Butler · 2024
Parents Dealing with Dysfunctional FamilyMichael Butler
Parents Dealing with Dysfunctional Family
Michael Butler · 2022