Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues - Klaus Havelund - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540851134 - 25 de julio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Klaus Havelund
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues 2008 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

343 pages, 1, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de julio de 2008
ISBN13 9783540851134
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 343
Dimensiones 155 × 235 × 18 mm   ·   544 g
Lengua Francés  
Editor Havelund, Klaus
Editor Majumdar, Rupak
Editor Palsberg, Jens

Mas por Klaus Havelund

Mostrar todo

Mere med samme udgiver

Ver todo de Klaus Havelund ( Ej. Paperback Book )