NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030557539 - 9 de agosto de 2020
En caso de que portada y título no coincidan, el título será el correcto

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition

Precio
$ 80,49
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 book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.

442 pages, 76 Illustrations, color; 44 Illustrations, black and white; XXI, 442 p. 120 illus., 76 il

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de agosto de 2020
ISBN13 9783030557539
Editores Springer Nature Switzerland AG
Páginas 442
Dimensiones 150 × 220 × 10 mm   ·   712 g
Lengua Alemán  
Editor Giannakopoulou, Dimitra
Editor Jha, Susmit
Editor Lee, Ritchie
Editor Mavridou, Anastasia

Mere med samme udgiver