Automatic Verification Methods for Finite State Systems (English, Joseph Sifakis)
Delivery options
₹5,573
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,573
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540521488
ISBN-10
3540521488
Author
Joseph Sifakis
About the Book
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications…
ISBN: 9783540521488
ISBN-13: 9783540521488
ISBN-10: 3540521488
Frequently Asked Questions
What is the price of Automatic Verification Methods for Finite State Systems?
Automatic Verification Methods for Finite State Systems starts from ₹5573 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Automatic Verification Methods for Finite State Systems?
Joseph Sifakis is the author of Automatic Verification Methods for Finite State Systems. Browse more books by Joseph Sifakis on BookBajar.
Is Automatic Verification Methods for Finite State Systems available in Paperback and Hardcover?
Yes, Automatic Verification Methods for Finite State Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automatic Verification Methods for Finite State Systems?
Yes, BookBajar offers free delivery for Automatic Verification Methods for Finite State Systems across India. No minimum order value required.
Is Cash on Delivery available for Automatic Verification Methods for Finite State Systems?
Yes, Cash on Delivery (COD) is available for Automatic Verification Methods for Finite State Systems on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540521488
🛒 Customers Also Bought
Die Geltung Von Rechtsnormen (English, Rupert Schreiber)
₹4,176
Das Anreißen in Maschinenbau-Werkstätten (English, H. Mauri)
₹2,372
Erläuterungen Zu Den Vorschriften Für Die Konstruktion Und Prüfung Von Installationsmaterial, Den Vo (English, Georg Dettmar)
₹5,712
Praktische Winke Zum Studium Der Statik (English, Ernst Kohl)
₹5,571
Das Sägen Der Metalle (English, H. Hollaender | H. Haake)
₹4,202
Beiträge Zur Baustatik, Elastizitätstheorie, Stabilitätstheorie, Bodenmechanik (English, W. Blick | E. Chwalla | F. Dischinger)
₹4,141Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883