Applied Formal Methods - Fm-Trends 98 (English, Dieter Hutter | Werner Stephan | Paolo Traverso)
by Dieter Hutter | Werner Stephan | Paolo Traverso
Delivery options
₹5,571
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,571
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540664628
ISBN-10
3540664629
Author
Dieter Hutter | Werner Stephan | Paolo Traverso
About the Book
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in industry. This appears to be particularly timely with safety and security issues becoming a real obstacle to industrial software and hardware developmen…
ISBN: 9783540664628
ISBN-13: 9783540664628
ISBN-10: 3540664629
Frequently Asked Questions
What is the price of Applied Formal Methods - Fm-Trends 98?
Applied Formal Methods - Fm-Trends 98 starts from ₹5571 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Applied Formal Methods - Fm-Trends 98?
Dieter Hutter | Werner Stephan | Paolo Traverso is the author of Applied Formal Methods - Fm-Trends 98. Browse more books by Dieter Hutter | Werner Stephan | Paolo Traverso on BookBajar.
Is Applied Formal Methods - Fm-Trends 98 available in Paperback and Hardcover?
Yes, Applied Formal Methods - Fm-Trends 98 is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Applied Formal Methods - Fm-Trends 98?
Yes, BookBajar offers free delivery for Applied Formal Methods - Fm-Trends 98 across India. No minimum order value required.
Is Cash on Delivery available for Applied Formal Methods - Fm-Trends 98?
Yes, Cash on Delivery (COD) is available for Applied Formal Methods - Fm-Trends 98 on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540664628
🛒 Customers Also Bought
Bilder Und Skizzen Aus Der Geschichte (English, Na Kletke | Na Pietsch)
₹6,000
Krankheiten Elektrischer Maschinen, Transformatoren Und Apparate (English, Hans Knöpfel | Franz Roggen | August Meyerhans)
₹4,360
Erläuterungen Zu Den Vorschriften Für Die Konstruktion Und Prüfung Von Installationsmaterial, Den Vo (English, Georg Dettmar)
₹5,712
Die Arbeitszeitermittlung Der Verzahnungsarbeiten (English, Wilhelm Bültmann)
₹3,272
Teil B (English, Gotthard Franz | Erhard Hampe | Kurt Schäfer)
₹3,533
Die Wasserheizung (English, Ludwig Kopp)
₹3,609Related Products
Topological Methods in Data Analysis and Visualization II (English, Ronald Peikert | Helwig Hauser | Hamish Carr)
₹16,769
The Cinderella.2 Manual (English, Jürgen Richter-Gebert | Ulrich H. Kortenkamp)
₹5,838
Theoretische Konzepte Der Physik (English, Malcolm S. Longair | B. Simon | H. Simon)
₹3,508
Image-Based Modeling (English, Long Quan)
₹11,415
Enterprise Information Systems (English, Joaquim Filipe | José Cordeiro)
₹11,577