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

The Temporal Logic of Reactive and Concurrent Systems: Specification

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

427 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de octubre de 2012
ISBN13 9781461269502
Editores Springer-Verlag New York Inc.
Páginas 427
Dimensiones 156 × 234 × 22 mm   ·   616 g
Lengua Inglés  

Mas por Zohar Manna

Mostrar todo

Mere med samme udgiver