
Applied Formal Methods - Fm-Trends 98 (English, Dieter Hutter | Werner Stephan | Paolo Traverso)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540664628 |
| ISBN-10 | 3540664629 |
| Author | Dieter Hutter | Werner Stephan | Paolo Traverso |
Product Description
Here on GlowMirror, you'll find Applied Formal Methods - Fm-Trends 98 filed under Springer -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Applied Formal Methods - Fm-Trends 98
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Working professionals and industry practitioners seeking practical knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





