Temporal Verification of Reactive Systems: Safety - Zohar Manna - Libros - Springer-Verlag New York Inc. - 9781461287018 - 22 de agosto de 2012
En caso de que portada y título no coincidan, el título será el correcto

Zohar Manna
Temporal Verification of Reactive Systems: Safety

Precio
$ 117,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

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

También disponible como:

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

512 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de agosto de 2012
ISBN13 9781461287018
Editores Springer-Verlag New York Inc.
Páginas 512
Dimensiones 155 × 235 × 27 mm   ·   743 g
Lengua Inglés  

Mas por Zohar Manna

Mostrar todo

Mere med samme udgiver

Ver todo de Zohar Manna ( Ej. Paperback Book y Hardcover Book )