-64% OFFFme '94 (English, Maurice Naftalin | Tim Denvir | Miquel Bertran)
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 | 9783540585558 |
| ISBN-10 | 3540585559 |
| Author | Maurice Naftalin | Tim Denvir | Miquel Bertran |
Product Description
Here on GlowMirror, you'll find Fme '94 filed under Springer -- everything you need to know is covered below.
About the Book
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refine…
ISBN: 9783540585558
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Fme '94
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





