Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Lecture Notes in Computer Science - Jaco Van Der Pol - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642161636 - 27 de septiembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Jaco Van Der Pol
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - Lecture Notes in Computer Science

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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

Constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, that was held at the University of Twente, in Enschede, The Netherlands.

263 pages, 70 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de septiembre de 2010
ISBN13 9783642161636
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 263
Dimensiones 152 × 229 × 20 mm   ·   476 g
Lengua Francés  
Editor Van Der Pol, Jaco
Editor Weber, Michael

Mere med samme udgiver

Ver todo de Jaco Van Der Pol ( Ej. Paperback Book )