Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
₹4,255
Rigorous Development of Complex Fault-Tolerant Systems
by Michael Butler, Cliff Jones, Alexander Romanovsky
Springer · 2007 · Paperback
₹5,583
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Published by Springer in 2007, Rigorous Development of Complex Fault-Tolerant Systems by Michael Butler, Cliff Jones & others runs to 403 pages in paperback.
Its main subjects are Reliability, Congresses, Electronic digital computers and Formal methods (Computer science).
Book details
- ISBN-13
- 9783540482659
- ISBN-10
- 3540482652
- Authors
- Michael Butler, Cliff Jones, Alexander Romanovsky
- Publisher
- Springer
- Published
- 2007
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 403
- Language
- English
- Condition
- New
- Subject
- Reliability
More by Michael Butler and related titles
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Abstract State Machines, B and Z
Michael Butler
₹4,240
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
₹4,237
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
Software Reliability Engineering
John D. Musa
₹4,531
Voting Technology
Paul S. Herrnson, Richard G. Niemi, Michael J. Hanmer, Benjamin B. Bederson, Michael W. Traugott, Frederick G. Conrad
₹3,383
Reliability and Failure of Electronic Materials and Devices
Lucian Kasprzak, Milton Ohring
₹9,328
Reliabilities of Consecutive-k Systems
Lirong Cui, Chung In-Hang, F.K Hwang
₹10,069
Dependability and Computer Engineering
Luigia Petre, Kaisa Sere, Elena Troubitsyna
₹4,375