Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky
₹5,583
Integrated Formal Methods
Third International Conference
by Michael Butler, Luigia Petre, Kaisa Sere
Springer · 2002 · Paperback
₹5,722
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 2002, Integrated Formal Methods: Third International Conference by Michael Butler, Luigia Petre & others runs to 399 pages in paperback.
Topics covered include Formal methods (Computer science), Congresses, Computer science and Software engineering.
Book details
- ISBN-13
- 9783540437031
- ISBN-10
- 3540437037
- Authors
- Michael Butler, Luigia Petre, Kaisa Sere
- Publisher
- Springer
- Published
- 2002
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 399
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Michael Butler and related titles
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
Abstract State Machines, B and Z
Michael Butler
₹4,240
The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
₹4,255
Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
Formal Program Development
Bernhard Möller, Helmut Partsch, Steve Schuman
₹5,569
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963