Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
₹5,586
Fm 2011
17th International Symposium on Formal Methods
by Michael Butler, Wolfram Schulte
Springer · 2011
₹5,627
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
Fm 2011: 17th International Symposium on Formal Methods is written by Michael Butler & Wolfram Schulte. This edition from Springer (2011).
The book deals with Logic design, Information Systems, Computer science and Software engineering.
Book details
- ISBN-13
- 9783642214363
- ISBN-10
- 3642214363
- Authors
- Michael Butler, Wolfram Schulte
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- System design
More by Michael Butler and related titles
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky
₹5,583
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
₹4,255
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
The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Advances in Affective and Pleasurable Design
WonJoon Chung, Cliff Sungsoo Shin
₹15,379
Handbook of Dynamic System Modeling
Paul A. Fishwick
₹4,951
Systemic Design
Kyoichi Kijima Peter Jones
₹2,646
Dynamic Modelling of Information Systems
Kees Max van Hee
₹3,865
Systems Analysis and Design with UML
Barbara Haley Wixom, David Tegarden, Alan Dennis
₹13,580