Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
₹5,031
Formal Verification of Object-Oriented Software
International Conference
by Bernhard Beckert, Claude Marché
Springer · 2011
₹5,483
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 Verification of Object-Oriented Software: International Conference is written by Bernhard Beckert & Claude Marché. This edition from Springer (2011).
Its main subjects are Logic design, Information Systems, Computer science and Software engineering.
Book details
- ISBN-13
- 9783642180699
- ISBN-10
- 3642180698
- Authors
- Bernhard Beckert, Claude Marché
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- System design
More by Bernhard Beckert and related titles
Systems Analysis and Design
Scott Tilley
₹8,062
Dsdm
DSDM Consortium, Jennifer Stapleton
₹2,652
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598
Software & Systems Requirements Engineering
Daniel J. Paulish, Brian Berenbach, Juergen Kazmeier, Arnold Rudorfer
₹4,098
Wissenschaftstheorie Und Gestaltungsorientierte Wirtschaftsinformatik
Jörg Becker, Helmut Krcmar, Björn Niehaves
₹4,146
Integrated Formal Methods
Dominique Méry, Stephan Merz
₹5,546
A Primer in Petri Net Design
Wolfgang Reisig
₹3,893
Innovations in Information Systems Modeling
Terry Halpin, John Krogstie, Erik Proper
₹4,838
IT Architecture for Dummies
Kalani Kirk Hausman, Susan Cook
₹2,200
Energy-Aware System Design
Chong-Min Kyung
₹4,616
Enterprise, Business-Process and Information Systems Modeling
Terry Halpin, Selmin Nurcan, John Krogstie
₹5,678