Lecture Notes in Computer Science13466- Software Verification and Formal Methods for ML-Enabled Autonomous Systems

60,99 €

dans 1 boutique

À voir aussi

Cadeaux à moins de 100 €

Code-barres: 9783031212215

Cherchez aussi ce produit sur AmazonPar code-barres 9783031212215 · www.amazon.com.be

Toutes les offres

bol.com
Lecture Notes in Computer Science13466- Software Verification and Formal Methods for ML-Enabled Autonomous Systems
60,99 €
En stock
Voir la boutique

Nous pouvons percevoir une commission si vous achetez via ce lien. Le prix que vous payez ne change pas.

À propos de ce produit

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.

Description fournie par bol.com.