Formal Verification of Object-Oriented Software (English, Bernhard Beckert | Claude Marché)
by Bernhard Beckert | Claude Marché
Delivery options
Formal Verification of Object-Oriented Software by Bernhard Beckert | Claude Marché is listed under Computers & Internet on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642180699
ISBN-10
3642180698
Author
Bernhard Beckert | Claude Marché
About the Book
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and indu…
ISBN: 9783642180699
ISBN-13: 9783642180699
ISBN-10: 3642180698
Reader's Guide
What This Book Covers
- ·The main subject matter of Formal Verification of Object-Oriented Software
- ·Ideas and detail relevant to Computers & Internet
- ·Context that helps make sense of the material as a whole
Best Suited For
Developers, IT professionals, and CS students.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software starts from ₹5483 at BookBajar. Available in Paperback.
Who is the author of Formal Verification of Object-Oriented Software?
Bernhard Beckert | Claude Marché is the author of Formal Verification of Object-Oriented Software. Browse more books by Bernhard Beckert | Claude Marché on BookBajar.
Is Formal Verification of Object-Oriented Software available in Paperback and Hardcover?
Yes, Formal Verification of Object-Oriented Software is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Verification of Object-Oriented Software?
Yes, BookBajar offers free delivery for Formal Verification of Object-Oriented Software across India. No minimum order value required.
Is Cash on Delivery available for Formal Verification of Object-Oriented Software?
Yes, Cash on Delivery (COD) is available for Formal Verification of Object-Oriented Software on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software has ISBN 9783642180699 (ISBN-10: 3642180698). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Formal Verification of Object-Oriented Software?
About the Book This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.
Product ID: isbn-9783642180699
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637