Real-Time (English, J. W. De Bakker | C. Huizing | W. P. De Roever)
by J. W. De Bakker | C. Huizing | W. P. De Roever
Delivery options
₹11,609
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,609
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540555643
ISBN-10
3540555641
Author
J. W. De Bakker | C. Huizing | W. P. De Roever
About the Book
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings…
ISBN: 9783540555643
ISBN-13: 9783540555643
ISBN-10: 3540555641
Frequently Asked Questions
What is the price of Real-Time?
Real-Time starts from ₹11609 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Real-Time?
J. W. De Bakker | C. Huizing | W. P. De Roever is the author of Real-Time. Browse more books by J. W. De Bakker | C. Huizing | W. P. De Roever on BookBajar.
Is Real-Time available in Paperback and Hardcover?
Yes, Real-Time is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Real-Time?
Yes, BookBajar offers free delivery for Real-Time across India. No minimum order value required.
Is Cash on Delivery available for Real-Time?
Yes, Cash on Delivery (COD) is available for Real-Time on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540555643
🛒 Customers Also Bought
Spanlose Formung (English, V. Litz)
₹4,200
Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (English, Kazuyuki Murase | Kosuke Sekiyama | Nao
₹2,971
Die Denkform Der Alternative in Der Jurisprudenz (English, Jürgen Rödig)
₹4,189
Probenahme Von Pulvern Und Körnigen Massengütern (English, K. Sommer)
₹5,465
Bildkommunikation (English, Kurt Fischer)
₹4,099
Feldpostbriefe 1914-1915 (English, Hermann Sparr)
₹4,166Related 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