Software Verification and Formal Methods for ML-Enabled Autonomous Systems
€ 72,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783031212215 |
|---|---|
| Editora | Springer International Publishing AG |
| Preço (iva excl.) | € 68,77 |
| Imposto | € 4,13 |
| Preço (iva inc.) | € 72,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.