Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science - Eric Y.T. Juan - Libros - Springer-Verlag New York Inc. - 9781461353492 - 26 de octubre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Eric Y.T. Juan
Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science Softcover reprint of the original 1st ed. 2002 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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:

Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

196 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de octubre de 2012
ISBN13 9781461353492
Editores Springer-Verlag New York Inc.
Páginas 196
Dimensiones 155 × 235 × 11 mm   ·   312 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Eric Y.T. Juan ( Ej. Hardcover Book y Paperback Book )