Modal and Temporal Properties of Processes - Texts in Computer Science - Colin Stirling - Libros - Springer-Verlag New York Inc. - 9781441931535 - 9 de octubre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Colin Stirling
Modal and Temporal Properties of Processes - Texts in Computer Science Softcover reprint of the original 1st ed. 2001 edition

Precio
$ 54,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:

In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

203 pages, 2 black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de octubre de 2011
ISBN13 9781441931535
Editores Springer-Verlag New York Inc.
Páginas 191
Dimensiones 253 × 180 × 18 mm   ·   362 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Colin Stirling ( Ej. Hardcover Book y Paperback Book )