Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi
₹5,584
Integrated Formal Methods
9th International Conference
by John Derrick, Stefania Gnesi, Diego Latella
Springer · 2012
₹5,630
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
Integrated Formal Methods: 9th International Conference is written by John Derrick, Stefania Gnesi & others. This edition from Springer (2012).
The book deals with System design, Formal methods (Computer science), Congresses and Software engineering.
Book details
- ISBN-13
- 9783642307287
- ISBN-10
- 3642307280
- Authors
- John Derrick, Stefania Gnesi, Diego Latella
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- System design
More by John Derrick and related titles
Refinement in Z and Object-Z
John Derrick, Eerke A. Boiten
₹1,482
Modeling of Dynamic Object Systems
Ralf Jungclaus
₹3,508
Seamless Object-oriented Software Architecture
Jean-Marc Nerson, Kim Walden
₹3,413
Object Oriented Computer Systems Engineering
Colin Theaker, David Evans, Peter Green, Derrick Morris
₹3,048
Informing Digital Futures
Leela Damodaran, Wendy Olphert
₹1,800
Doing Design Ethnography
Andrew Crabtree, Mark Rouncefield, Peter Tolmie
₹4,204
System Design with Systemc
Thorsten Grötker
₹4,536
Enterprise Architecture and Information Assurance
James A. Scholz
₹5,051
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598
Semiotics in Information Systems Engineering
Kecheng Liu
₹4,927
Software & Systems Requirements Engineering
Daniel J. Paulish, Brian Berenbach, Juergen Kazmeier, Arnold Rudorfer
₹4,098