NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings - Lecture Notes in Computer Science - Guillaume Brat - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642380877 - 17 de abril de 2013
En caso de que portada y título no coincidan, el título será el correcto

Guillaume Brat
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings - Lecture Notes in Computer Science 2013 edition

Precio
Mex$ 959
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Guillaume Brat

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

Aún no valorado

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions.

486 pages, 164 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de abril de 2013
ISBN13 9783642380877
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 486
Dimensiones 155 × 235 × 26 mm   ·   707 g
Lengua Alemán  
Editor Brat, Guillaume
Editor Rungta, Neha
Editor Venet, Arnaud

Más del mismo editor

Ver todo de Guillaume Brat ( Ej. Paperback Book )