✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Applied Formal Methods - Fm-Trends 98 (English, Dieter Hutter | Werner Stephan | Paolo Traverso) - Image 1 - GlowMirror

Applied Formal Methods - Fm-Trends 98 (English, Dieter Hutter | Werner Stephan | Paolo Traverso)

by Dieter Hutter | Werner Stephan | Paolo Traverso

Delivery options

₹5,571
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 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 GlowMirror. Available in Paperback.
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 GlowMirror.
Is Applied Formal Methods - Fm-Trends 98 available in Paperback and Hardcover?
Yes, Applied Formal Methods - Fm-Trends 98 is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Applied Formal Methods - Fm-Trends 98?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
ISBN-10: 3540664629. ISBN-13: 9783540664628. Applied Formal Methods - Fm-Trends 98 (English, Dieter Hutter | Werner Stephan | Paolo Traverso) by Dieter Hutter | Werner Stephan | Paolo Traverso. Available on GlowMirror.
Product ID: isbn-9783540664628