Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science - Dragan Bosnacki - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540733690 - 21 de junio de 2007
En caso de que portada y título no coincidan, el título será el correcto

Dragan Bosnacki
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Precio
Mex$ 967
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 8 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 presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

285 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de junio de 2007
ISBN13 9783540733690
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 285
Dimensiones 155 × 235 × 15 mm   ·   476 g
Lengua Alemán  
Editor Bosnacki, Dragan
Editor Edelkamp, Stefan

Mere med samme udgiver

Ver todo de Dragan Bosnacki ( Ej. Paperback Book )