Fme '94 (English, Maurice Naftalin | Tim Denvir | Miquel Bertran)
by Maurice Naftalin | Tim Denvir | Miquel Bertran
Delivery options
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.
64% Off — you save ₹7,415 on this product!
Book Details
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
Frequently Asked Questions
What is the price of Fme '94?
Who is the author of Fme '94?
Is Fme '94 available in Paperback and Hardcover?
Does GlowMirror offer free delivery for Fme '94?
Is Cash on Delivery available for Fme '94?
🛒 Customers Also Bought
Die Kriegsverletzungen Des Gesichts (English, Wolfgang Rosenthal)
₹3,508
Leistungselektronik (English, Manfred Michel)
₹5,498
Survivalguide Schreiben (English, Gabriele Bensberg)
₹2,027
Electric Power Grid Reliability Evaluation: Models and Methods (English, Paperback, Chanan Singh)
₹2,700
Repetitorium Theoretische Physik (English, Armin Wachter | K. Schilling | Henning Hoeber)
₹4,237
Fluorimetrie (English, Maximilian Zander)
₹4,601Related Products
Chancen Für Das Deutsche Gesundheitssystem (English, Michael E. Porter | Clemens Guth)
₹4,965
Theoretische Physik 3 (English, Reiner M. Dreizler | Cora S. Lüdde)
₹2,634
Kohärente Optik (English, Werner Lauterborn | Thomas Kurz | Martin Wiesenfeldt)
₹3,508
Die Grossglockner-Hochalpenstrasse (English, Franz Wallack)
₹3,508
Königin Luise (English, Eduard Engel)
₹5,820