Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Serie m´´as popular en Estados Unidos

1 resultado para
Skip side bar filters

  • NASA Formal Methods

    12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

    Edición de Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou ...
    Series series Springer Nature Proceedings Computer Science
    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. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance ... Leer más

    $71.99 USD