Formal Verification of Object-Oriented Software (English, Bernhard Beckert | Claude Marché)
by Bernhard Beckert | Claude Marché
Delivery options
₹5,483
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,483
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
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. This is one of the best prices available online in India.
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.
Product ID: isbn-9783642180699
🛒 Customers Also Bought
Schweißtechnik Im Stahlbau (English, G. Bierett | E. Diepschlag | K. Klöppel)
₹5,577
Entwerfen Und Herstellen (English, Carl Volk)
₹4,220
Betriebsrätegesetz Vom 4. Februar 1920 Nebst Wahlordnung, Ausführungsverordnungen Und Ergänzungsgese (English, Georg Flatow | Otto Kahn-Freund)
₹4,940
Erläuterungen Zu Den Vorschriften Für Die Konstruktion Und Prüfung Von Installationsmaterial, Den Vo (English, Georg Dettmar)
₹5,712
Elastizität Und Festigkeit Im Rohrleitungsbau (English, Helmut Von Jürgensonn)
₹5,394
Einführung in Die Rechtsinformatik (English, Elmar Bund)
₹5,662Related Products
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Introduction to Dynamics of Structures and Earthquake Engineering- (45) (English, Cimellaro)
₹5,572
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Analysis III (English, Godement)
₹2,495