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. - 9781402070259 - 30 de abril de 2002
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 2002 edition

Precio
$ 122,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de abril de 2002
ISBN13 9781402070259
Editores Springer-Verlag New York Inc.
Páginas 196
Dimensiones 155 × 235 × 14 mm   ·   494 g
Lengua Inglés  

Mere med samme udgiver

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