Integrated Formal Methods (English, Michael Butler | Luigia Petre | Kaisa Sere)
by Michael Butler | Luigia Petre | Kaisa Sere
Delivery options
₹5,722
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,722
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540437031
ISBN-10
3540437037
Author
Michael Butler | Luigia Petre | Kaisa Sere
About the Book
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to…
ISBN: 9783540437031
ISBN-13: 9783540437031
ISBN-10: 3540437037
Frequently Asked Questions
What is the price of Integrated Formal Methods?
Integrated Formal Methods starts from ₹5722 at GlowMirror. Available in Paperback.
Who is the author of Integrated Formal Methods?
Michael Butler | Luigia Petre | Kaisa Sere is the author of Integrated Formal Methods. Browse more books by Michael Butler | Luigia Petre | Kaisa Sere on GlowMirror.
Is Integrated Formal Methods available in Paperback and Hardcover?
Yes, Integrated Formal Methods is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Integrated Formal Methods?
Yes, GlowMirror offers free delivery for Integrated Formal Methods across India. No minimum order value required.
Is Cash on Delivery available for Integrated Formal Methods?
Yes, Cash on Delivery (COD) is available for Integrated Formal Methods on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540437031
🛒 Customers Also Bought
Depressionsstationen/Stationäre Depressionsbehandlung (English, Manfred Wolfersdorf)
₹5,330
Kraftfahrzeugemissionen Und Ozonbildung (English, Nicolas Moussiopoulos | Wolfgang Oehler | Klaus Zellner)
₹3,508
Wo Fehlt´s Uns Denn Heute? Wie Patienten Und Ärzte Besser Miteinander Umgehen Können (English, Christian Schlesiger | Alban Braun)
₹1,573
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380
Zivilrechtliche Mietpreiskontrolle (English, Jürgen Keller)
₹3,508
L'Approccio Integrato AI Disturbi Mentali (English, Ferdinando Pellegrino)
₹3,626Related Products
Sternbilder Und Ihre Mythen (English, Gerhard Fasching)
₹4,965
Querying Databases Privately (English, Dmitri Asonov)
₹5,433
Phylogenetische Systematik (English, Bernhard Wiesemüller | Hartmut Rothe | Winfried Henke)
₹3,143
Laserspektroskopie 1 (English, Wolfgang Demtröder)
₹5,756
Turbulence in Space Plasmas (English, Loukas Vlahos | Peter Cargill)
₹5,641