Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium
NijmegenThe NetherlandsJanuary 8-101992. Proceedings
SR 686
Inclusive of VAT
SR41Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR686
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
About this Product
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.
Report an issue with this product.
