The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods
by Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
Springer · 2007
₹5,586
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
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods is written by Michael Butler, Michael G. Hinchey & others. This edition from Springer (2007) has 386 pages. The book is part of the LNCS sublibrary series.
Its main subjects are Congresses, Formal methods (Computer science), Software engineering and Computer science.
Book details
- ISBN-13
- 9783540766483
- ISBN-10
- 3540766480
- Authors
- Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
- Publisher
- Springer
- Published
- 2007
- Series
- LNCS sublibrary
- Pages
- 386
- Language
- English
- Condition
- New
- Subject
- Software engineering
More by Michael Butler and related titles
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
₹4,237
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
₹4,255
Fm 2011
Michael Butler, Wolfram Schulte
₹5,627
Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky
₹5,583
Abstract State Machines, B and Z
Michael Butler
₹4,240
Computer Performance Evaluation. Modelling Techniques and Tools
Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
₹5,712
Towards a Synergistic Combination of Research and Practice in Software Engineering
Piotr Kosiuczenko, Lech Madeyski
₹7,760
Mathematics and Computation, a Contemporary View
Norwegian Mathematical Society
₹3,957
Requirements Engineering
Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz
₹4,275
Software-Qualität
Dirk W. Hoffmann
₹3,508