
Integrated Formal Methods (English, Dominique Méry | Stephan Merz)
by Dominique Méry | Stephan Merz
Delivery options
₹5,546
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,546
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642162640
ISBN-10
3642162649
Author
Dominique Méry | Stephan Merz
About the Book
ThisvolumecontainstheproceedingsofIFM2010, the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010, atthe INRIA researchcenterandthe LORIAlaboratoryinNancy, France. Previous editions were held in York, Dagstuhl, Turku, Canterbury, Eindhoven, Oxford, and Dusseldorf ] . The IFM conference series seeks to promote research into the combination of di?erent formal methods, including the combination of f…
ISBN: 9783642162640
ISBN-13: 9783642162640
ISBN-10: 3642162649
Frequently Asked Questions
What is the price of Integrated Formal Methods?
Integrated Formal Methods starts from ₹5546 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Integrated Formal Methods?
Dominique Méry | Stephan Merz is the author of Integrated Formal Methods. Browse more books by Dominique Méry | Stephan Merz on BookBajar.
Is Integrated Formal Methods available in Paperback and Hardcover?
Yes, Integrated Formal Methods is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Integrated Formal Methods?
Yes, BookBajar offers free delivery for Integrated Formal Methods across India. No minimum order value required.
Is Cash on Delivery available for Integrated Formal Methods?
Yes, Cash on Delivery (COD) is available for Integrated Formal Methods on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642162640
🛒 Customers Also Bought

Die Nebenstellentechnik (English, Hans B. Willers)
₹5,582
Internationales Gemeinschaftsrecht (English, Mehrdad Payandeh)
₹5,892
Math for Civil Service Workers (English, Paperback, LearningExpress)
₹2,330
Hydrostatisches Fließpressen (English, Jobst-H Kerspe)
₹4,188
Fehler Und Fehlerschutz in Elektrischen Drehstromanlagen (English, Hans Titze)
₹4,077
Maschinelle Handwerkzeuge (English, Hellmuth Graf)
₹4,221Related Products

Introduction to Dynamics of Structures and Earthquake Engineering- (45) (English, Cimellaro)
₹5,572
Vorlesungen Über Differential- Und Integralrechnung (English, Richard Courant)
₹4,171
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700