Patrice Godefroid
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Lecture Notes in Computer Science Patrice Godefroid 2005 edition

Name: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Patrice Godefroid

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 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

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Lecture Notes in Computer Science

Patrice Godefroid

2005 edition

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.

292 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	9 de agosto de 2005
ISBN13	9783540281955
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	292
Dimensiones	155 × 235 × 16 mm · 449 g
Lengua	Alemán
Editor	Godefroid, Patrick