The Business of Hacking
Michael Butler, Jacob G. Oakley
₹2,073
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods
by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Springer-Verlag New York Inc · 2015 · Paperback
₹4,255
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: 17th International Conference on Formal Engineering Methods is written by Michael Butler, Sylvain Conchon & others. This paperback edition from Springer-Verlag New York Inc (2015) has 436 pages.
The book deals with Software engineering.
Subjects
Book details
- ISBN-13
- 9783319254227
- ISBN-10
- 3319254227
- Authors
- Michael Butler, Sylvain Conchon, Fatiha Zaïdi
- Publisher
- Springer-Verlag New York Inc
- Published
- 2015
- Edition
- 1st ed. 2015
- Binding
- Paperback
- Pages
- 436
- Language
- English
- Condition
- New
- Subject
- Software engineering
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
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
₹4,237
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
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Languages, Design Methods, and Tools for Electronic System Design
Franco Fummi, Robert Wille
₹7,771
Fractals in Science
Armin Bunde
₹4,241
Software-Engineering
J. Siedersleben, Ernst Denert
₹3,508
Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin
₹4,255
Building an Optimizing Compiler
Bob Morgan
₹3,525