D Dams
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Lecture Notes in Computer Science D Dams 1999 edition

Name: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Lecture Notes in Computer Science
Price: 55.49 USD
Availability: OutOfStock
Author: D Dams

Precio

$ 55,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 23 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Lecture Notes in Computer Science

D Dams

1999 edition

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems.

292 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	8 de septiembre de 1999
ISBN13	9783540664994
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	282
Dimensiones	155 × 233 × 15 mm · 412 g
Lengua	Alemán
Editor	Dams, Dennis
Editor	Gerth, Robert
Editor	Leue, Stefan
Editor	Massinek, Mieke