booktheque

Rigorous Development of Complex Fault-Tolerant Systems

Michael Butler, Alexander Romanovsky, Cliff B. Jones · 2008

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2008
Publisher
Springer
Editions
1
ISBN
9783540832218

Data source: Wikidata

More by Michael Butler

Making of Modern Switzerland, 1848-1998
Michael Butler · 2014
Practitioner's Guide to Mental Health Law
Michael Butler · 2014
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler · 2016
Formal Methods and Software Engineering
Michael Butler · 2015
FM 2011: Formal Methods
Michael Butler · 2011
Rigorous development of complex fault-tolerant systems
Michael Butler · 2007
Cell Culture and Upstream Processing
Michael Butler · 2007
Rejection and Emancipation
Michael Butler · 1991
BRIAN TRACY QUOTES
Michael Butler · 2026
Business of Hacking
Michael Butler · 2024