Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science - Matthew Dwyer - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540421245 - 2 de mayo de 2001
En caso de que portada y título no coincidan, el título será el correcto

Matthew Dwyer
Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science

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 work constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

328 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de mayo de 2001
ISBN13 9783540421245
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 328
Dimensiones 156 × 234 × 17 mm   ·   467 g
Lengua Alemán  
Editor Dwyer, Matthew B.

Mere med samme udgiver

Ver todo de Matthew Dwyer ( Ej. Paperback Book )