NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science - Mihaela Bobaru - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642203978 - 6 de abril de 2011
En caso de que portada y título no coincidan, el título será el correcto

Mihaela Bobaru
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Lecture Notes in Computer Science

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 de jul. - 3 de ago.

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 Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.

534 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de abril de 2011
ISBN13 9783642203978
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 534
Dimensiones 155 × 235 × 30 mm   ·   816 g
Lengua Francés  
Editor Bobaru, Mihaela
Editor Havelund, Klaus
Editor Holzmann, Gerard
Editor Joshi, Rajeev

Mere med samme udgiver

Ver todo de Mihaela Bobaru ( Ej. Paperback Book )