-53% OFFSpringer
Real-Time (English, J. W. De Bakker | C. Huizing | W. P. De Roever)
₹5,484₹11,609Save 53%
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540555643 |
| ISBN-10 | 3540555641 |
| Author | J. W. De Bakker | C. Huizing | W. P. De Roever |
