Modal and Temporal Properties of Processes - Texts in Computer Science - Colin Stirling - Libros - Springer-Verlag New York Inc. - 9780387987170 - 6 de julio de 2001
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 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, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 6 de julio de 2001
ISBN13 9780387987170
Editores Springer-Verlag New York Inc.
Páginas 191
Dimensiones 178 × 235 × 13 mm   ·   553 g
Lengua Inglés  

Mere med samme udgiver

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