Formal Modeling and Analysis of Timed Systems (English, Uli Fahrenberg | Stavros Tripakis)
by Uli Fahrenberg | Stavros Tripakis
Delivery options
₹5,559
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,559
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642243097
ISBN-10
3642243096
Author
Uli Fahrenberg | Stavros Tripakis
About the Book
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011.
ISBN: 9783642243097
ISBN-13: 9783642243097
ISBN-10: 3642243096
Frequently Asked Questions
What is the price of Formal Modeling and Analysis of Timed Systems?
Formal Modeling and Analysis of Timed Systems starts from ₹5559 at GlowMirror. Available in Paperback.
Who is the author of Formal Modeling and Analysis of Timed Systems?
Uli Fahrenberg | Stavros Tripakis is the author of Formal Modeling and Analysis of Timed Systems. Browse more books by Uli Fahrenberg | Stavros Tripakis on GlowMirror.
Is Formal Modeling and Analysis of Timed Systems available in Paperback and Hardcover?
Yes, Formal Modeling and Analysis of Timed Systems is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Modeling and Analysis of Timed Systems?
Yes, GlowMirror offers free delivery for Formal Modeling and Analysis of Timed Systems across India. No minimum order value required.
Is Cash on Delivery available for Formal Modeling and Analysis of Timed Systems?
Yes, Cash on Delivery (COD) is available for Formal Modeling and Analysis of Timed Systems on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642243097
🛒 Customers Also Bought
Emotionale Kompetenz Im Lehrberuf (English, Christof Kuhbandner | Iris Schelhorn)
₹3,143
Ecografia E Procedure Interventistiche Percutanee (English, Mirko D'Onofrio | Roberto Pozzi Mucelli | Andrea Ruzzenente)
₹3,171
Bildnerei in Der Neurologischen Rehabilitation (English, Elisabeth Gebharter | Monika Murg | Walter Oder)
₹3,508
A Guide to QTL Mapping with R/qtl (English, Karl W. Broman | Saunak Sen)
₹4,615
Kindergesundheit Stärken (English, Eva Maria Bitzer | Ulla Walter | Heidrun Lingner)
₹3,873
Theoretische Informatik (English, Klaus W. Wagner)
₹2,155Related Products
Fit Ins Alter (English, Norbert Bachl | Werner Schwarz | Johannes Zeibig)
₹3,143
Transformation Von Banken (English, Rainer Alt | Beat Bernet | Thomas Zerndt)
₹3,143
Software Verification and Analysis (English, Janusz Laski | William Stanley)
₹5,558
Auflösung Von Kristallen (English, R. B. Heimann)
₹4,965
Neuromuskuläres Monitoring in Klinik Und Forschung (English, Thomas Fuchs-Buder)
₹1,791