Leveraging Applications of Formal Methods, Verification, and Validation (English, Tiziana Margaria | Bernhard Steffen)
by Tiziana Margaria | Bernhard Steffen
Delivery options
₹11,609
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: ₹11,609
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642165573
ISBN-10
3642165575
Author
Tiziana Margaria | Bernhard Steffen
About the Book
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
ISBN: 9783642165573
ISBN-13: 9783642165573
ISBN-10: 3642165575
Frequently Asked Questions
What is the price of Leveraging Applications of Formal Methods, Verification, and Validation?
Leveraging Applications of Formal Methods, Verification, and Validation starts from ₹11609 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Leveraging Applications of Formal Methods, Verification, and Validation?
Tiziana Margaria | Bernhard Steffen is the author of Leveraging Applications of Formal Methods, Verification, and Validation. Browse more books by Tiziana Margaria | Bernhard Steffen on BookBajar.
Is Leveraging Applications of Formal Methods, Verification, and Validation available in Paperback and Hardcover?
Yes, Leveraging Applications of Formal Methods, Verification, and Validation is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Leveraging Applications of Formal Methods, Verification, and Validation?
Yes, BookBajar offers free delivery for Leveraging Applications of Formal Methods, Verification, and Validation across India. No minimum order value required.
Is Cash on Delivery available for Leveraging Applications of Formal Methods, Verification, and Validation?
Yes, Cash on Delivery (COD) is available for Leveraging Applications of Formal Methods, Verification, and Validation on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642165573
🛒 Customers Also Bought
Storkebaum-Kraft Warenzeichengesetz (English, R. Storkebaum | K. a. Endemann | A. Kraft)
₹4,141
Die Berechnung Verankerter Hängebrücken (English, Na Bleich)
₹4,022
Elektrische Meßgeräte Und Meßeinrichtungen (English, Walter Hunsinger | Albert Palm | Gerhard Münch)
₹4,166
Die Großberliner Stadtentwässerung (English, Reinhard Lobeck | W. Prion)
₹4,217
Die Prüfung Nichtmetallischer Baustoffe (English, Erich Siebel)
₹3,385
Technisch-Wissenschaftliche Abhandlungen Der Osram-Gesellschaft (English, A. Lompe)
₹4,075Related Products
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Analysis III (English, Godement)
₹2,495
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
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