Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings (Proceedings of the Second International Symposium, Nijmegen, the Nnetherlands, January 8-10, 1992) - Lec - Jan Vytopil - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540550921 - December 11, 1991
In case cover and title do not match, the title is correct

Jan Vytopil
Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings (Proceedings of the Second International Symposium, Nijmegen, the Nnetherlands, January 8-10, 1992) - Lec

Price
$ 104.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.

640 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 11, 1991
ISBN13 9783540550921
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 640
Dimensions 156 × 234 × 32 mm   ·   884 g
Language German  
Editor Vytopil, Jan

More by Jan Vytopil

Show all

Mere med samme udgiver

See all of Jan Vytopil ( e.g. Paperback Book )