Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science - Natarajan Shankar - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540878728 - 22 de septiembre de 2008
En caso de que portada y título no coincidan, el título será el correcto

Natarajan Shankar
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 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 volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

275 pages, Illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de septiembre de 2008
ISBN13 9783540878728
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 263
Dimensiones 155 × 235 × 15 mm   ·   430 g
Lengua Francés  
Editor Shankar, Natarajan
Editor Woodcock, Jim

Mere med samme udgiver

Ver todo de Natarajan Shankar ( Ej. Paperback Book )