IT Architecture for Dummies
Kalani Kirk Hausman, Susan Cook
₹2,200
Integrated Formal Methods
8th International Conference
by Dominique Méry, Stephan Merz
Springer · 2010
₹5,546
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: 8th International Conference by Dominique Méry & Stephan Merz is a book published by Springer in 2010.
Topics covered include Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642162640
- ISBN-10
- 3642162649
- Authors
- Dominique Méry, Stephan Merz
- Publisher
- Springer
- Published
- 2010
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
My Personal Adaptive Global Net Magnet
Ramjee Prasad
₹11,562
The Design of Computer-Supported Cooperative Work and Groupware Systems
Michael J. Tauber, R. Traunmüller
₹3,389
Advanced Principles for Improving Database Design, Systems Modeling, and Software Development
Keng Siau, John Erickson
₹5,185
Beteiligungsorientierte Systementwicklung
Jansen Klaus-Dieter
₹3,508
Fme 2002
Lars-Henrik Eriksson, Peter A. Lindsay
₹5,363
Wissenschaftstheorie Und Gestaltungsorientierte Wirtschaftsinformatik
Jörg Becker, Helmut Krcmar, Björn Niehaves
₹4,146
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹5,480
Building Design Systems
Sarrah Vesselov
₹3,059
Software Performance and Scalability
Henry H. Liu
₹6,228
Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware
Jingzhao Ou, Viktor K. Prasanna
₹5,318
Sensing and Systems in Pervasive Computing
Dan Chalmers
₹2,807