Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Jan Vytopil)
by Jan Vytopil
Delivery options
₹4,607-61%
MRP:₹11,685Save ₹7,078
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.
61% Off — you save ₹7,078 on this product!
Total: ₹4,607
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540550921
ISBN-10
3540550925
Author
Jan Vytopil
About the Book
This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.
ISBN: 9783540550921
ISBN-13: 9783540550921
ISBN-10: 3540550925
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 ₹5491 at GlowMirror. Available in Paperback.
Who is the author of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Jan Vytopil is the author of Formal Techniques in Real-Time and Fault-Tolerant Systems. Browse more books by Jan Vytopil on GlowMirror.
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 GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540550921
🛒 Customers Also Bought
Jahre Der Entwicklung Der Neurochirurgie in Deutschland (English, K. -J Zülch | K. -J Zülch)
₹5,694
Der Hochbau (English, Silvio Mohr)
₹5,122
Psychologie Im Projektmanagement (English, Christoph Lüttge)
₹3,104
L'Ecocardiografia Nella Valvulopatia Mitralica (English, Francesco Fulvio Faletra)
₹4,958
Vero Come La Finzione Vol. 2 (English, Matteo Balestrieri)
₹2,619
Ausgleichsvorgänge in Elektroenergiesystemen (English, Amir M. Miri)
₹4,748Related Products
Benigne Prostatahyperplasie (English, K. Höfner | C. G. Stief | U. Jonas)
₹4,237
Industrie-Rohrleitungsarmaturen (English, Hans J. Kecke | Paul Kleinschmidt)
₹4,374
Psychoanalytische Psychosomatik (English, Hans-Peter Kapfhammer)
₹3,873
Die Mechanisierung Des Weltbildes (English, Eduard J. Dijksterhuis | H. Maier-Leibnitz | Helga Habicht)
₹5,111
Trocknungstechnik Zweiter Band (English, Karl Kröll)
₹5,694