Formal Verification of Object-Oriented Software
Bernhard Beckert, Claude Marché
₹5,483
Formal Verification of Object-Oriented Software
International Conference
by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Springer · 2012
₹5,031
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, Ferruccio Damiani & others. This edition from Springer (2012).
The book deals with Computer software, Object-oriented methods (computer science) and System design.
Book details
- ISBN-13
- 9783642317613
- ISBN-10
- 3642317618
- Authors
- Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- System design
More by Bernhard Beckert and related titles
IT Architecture for Dummies
Kalani Kirk Hausman, Susan Cook
₹2,200
Oracle Essbase 9 Implementation Guide
Joseph Sydney Gomez, Sarma Anantapantula
₹4,104
Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella
₹5,630
Semiotics in Information Systems Engineering
Kecheng Liu
₹4,647
Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria
₹4,289
Sensing and Systems in Pervasive Computing
Dan Chalmers
₹2,807
Open Verification Methodology Cookbook
Mark Glasser
₹4,597
Innovations in Information Systems Modeling
Terry Halpin, John Krogstie, Erik Proper
₹4,838
Practical UML Statecharts in C/C++
Miro Samek
₹3,015
Research Issues in Systems Analysis and Design, Databases and Software Development
Keng Siau
₹3,760
Das V-Modell(r) XT Anpassen
Marco Kuhrmann, Thomas Ternité, Jan Friedrich
₹1,791