The Temporal Logic of Reactive and Concurrent Systems: Specification - Zohar Manna - Libros - Springer-Verlag New York Inc. - 9780387976648 - 18 de diciembre de 1991
En caso de que portada y título no coincidan, el título será el correcto

Zohar Manna
The Temporal Logic of Reactive and Concurrent Systems: Specification 1992 edition

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:

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

427 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 18 de diciembre de 1991
ISBN13 9780387976648
Editores Springer-Verlag New York Inc.
Páginas 427
Dimensiones 241 × 166 × 31 mm   ·   798 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 )