Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Hans Langmaack | Willem-Paul de Roever | Jan Vytopil)
by Hans Langmaack | Willem-Paul de Roever | Jan Vytopil
Delivery options
₹11,646
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: ₹11,646
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540584681
ISBN-10
3540584684
Author
Hans Langmaack | Willem-Paul de Roever | Jan Vytopil
About the Book
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a syste…
ISBN: 9783540584681
ISBN-13: 9783540584681
ISBN-10: 3540584684
Frequently Asked Questions
What is the price of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Formal Techniques in Real-Time and Fault-Tolerant Systems starts from ₹11646 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Hans Langmaack | Willem-Paul de Roever | Jan Vytopil is the author of Formal Techniques in Real-Time and Fault-Tolerant Systems. Browse more books by Hans Langmaack | Willem-Paul de Roever | Jan Vytopil on BookBajar.
Is Formal Techniques in Real-Time and Fault-Tolerant Systems available in Paperback and Hardcover?
Yes, Formal Techniques in Real-Time and Fault-Tolerant Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, BookBajar offers free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems across India. No minimum order value required.
Is Cash on Delivery available for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, Cash on Delivery (COD) is available for Formal Techniques in Real-Time and Fault-Tolerant Systems on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540584681
🛒 Customers Also Bought
Handbuch Für Sternfreunde (English, Günter Dietmar Roth | Roth)
₹5,838
Grundriß Der Psychologie (English, R. Brown | S. Ertel | R. J. Herrnstein)
₹4,774
Untersuchung Von Nahrungs-, Genussmitteln Und Gebrauchsgegenständen; T. 3, Die Genussmittel, Wasser, (English, Josef König)
₹3,298
Der Eisenbeton-Schiffbau (English, Na Rüdiger)
₹4,047
Selektivschutz (English, H. Neugebauer)
₹4,174
Hebe- Und Förderanlagen (English, Heinrich Aumund | F. Mechtold)
₹4,764Related Products
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fair Share (English, Isaac Elishakoff)
₹3,491
Beobachtungssprache, Theoretische Sprache Und Die Partielle Deutung Von Theorien (English, Wolfgang Stegmüller)
₹1,524
Ecological Responses to the 1980 Eruption of Mount St. Helens (English, Virginia H. Dale | J. F. Franklin | Frederick J. Swanson)
₹3,205