Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Hans Langmaack | Willem-Paul de Roever | Jan Vytopil)

Name: Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Hans Langmaack | Willem-Paul de Roever | Jan Vytopil)
Brand: Hans Langmaack | Willem-Paul de Roever | Jan Vytopil
SKU: isbn-9783540584681
Price: 5332 INR
Availability: InStock

by Hans Langmaack | Willem-Paul de Roever | Jan Vytopil

Delivery options

₹4,298-63%

MRP:₹11,646Save ₹7,348

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.

63% Off — you save ₹7,348 on this product!

Quantity

Total: ₹4,298

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 ₹5332 at GlowMirror. Available in Paperback.

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 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-9783540584681