Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Rigorous Development of Complex Fault-Tolerant Systems
by Michael Butler, Cliff Jones, Alexander Romanovsky
₹5,583
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540482659
- ISBN-10
- 3540482652
- Authors
- Michael Butler, Cliff Jones, Alexander Romanovsky
- Publisher
- Springer
- Condition
- New
More by Michael Butler and related titles
FM 2011
Michael Butler, Wolfram Schulte
₹5,627
Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
₹5,586
The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Learning Skilled Trades in the Workplace
Jo Mackiewicz
₹3,749
Type-2 Fuzzy Logic
Oscar Castillo, Patricia Melin
₹5,169
Trends in Enterprise Architecture Research
Marc Lankhorst, Marten Schönherr, Joseph Barjis
₹5,430
Théorie Des Ensembles
N. Bourbaki
₹4,569
Explorations of the Life-World
M. Endress, George Psathas, H. Nasu
₹5,436
Process Capability Indices
Kotz Samuel, Kotz Kotz, Norman L. Johnson
₹4,345
Anschauliche Quantentheorie
P. Jordan
₹4,601
Theoretical Numerical Analysis
Kendall Atkinson, Weimin Han
₹4,203