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 Jan Vytopil

Name: 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: 107.49 USD
Availability: OutOfStock
Author: Jan Vytopil

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

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

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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	11 de diciembre de 1991
ISBN13	9783540550921
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	640
Dimensiones	156 × 234 × 32 mm · 884 g
Lengua	Alemán
Editor	Vytopil, Jan