
Formal Methods for Industrial Critical Systems (English, Gwen Salaün | Bernhard Schätz)
by Gwen Salaün | Bernhard Schätz
Delivery options
₹5,517
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,517
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642244308
ISBN-10
3642244300
Author
Gwen Salaün | Bernhard Schätz
About the Book
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It…
ISBN: 9783642244308
ISBN-13: 9783642244308
ISBN-10: 3642244300
Frequently Asked Questions
What is the price of Formal Methods for Industrial Critical Systems?
Formal Methods for Industrial Critical Systems starts from ₹5517 at GlowMirror. Available in Paperback.
Who is the author of Formal Methods for Industrial Critical Systems?
Gwen Salaün | Bernhard Schätz is the author of Formal Methods for Industrial Critical Systems. Browse more books by Gwen Salaün | Bernhard Schätz on GlowMirror.
Is Formal Methods for Industrial Critical Systems available in Paperback and Hardcover?
Yes, Formal Methods for Industrial Critical Systems is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Methods for Industrial Critical Systems?
Yes, GlowMirror offers free delivery for Formal Methods for Industrial Critical Systems across India. No minimum order value required.
Is Cash on Delivery available for Formal Methods for Industrial Critical Systems?
Yes, Cash on Delivery (COD) is available for Formal Methods for Industrial Critical Systems on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642244308
🛒 Customers Also Bought

Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,398
Die Pflege Des Brandverletzten (English, Alfons Grabosch | H. C. Schrader | Michael Günnewig)
₹5,694
Kindliche Kompetenzen (English, Arnold Lohaus)
₹1,208
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Die Proximalen Humerusfrakturen (English, Fabrizio Moro | Rainer-Peter Meyer | Andreas Lütscher)
₹4,965
User-Centered Agile Methods (English, Hugh Beyer)
₹2,143Related Products

Die Maske Der Scham (English, Leon Wurmser | A. Haynal)
₹5,330
Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Elektrische Netzwerke Aufgaben (English, Rolf Unbehauen | Willi Hohneker)
₹3,249
Festschrift David Hilbert Zu Seinem Sechzigsten Geburtstag Am 23. Januar 1922 (English, O. Blumenthal | R. Courant | G. Hamel)
₹3,143
Fundamente Der Graphentheorie (English, Lutz Volkmann)
₹3,143