Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and | DealShopping UK
  1. Home
  2. Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and
  • #

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and

54.99 GBP

Share:

Related products

Tableaux de bord de la sécurité réseau: Offre exceptionnelle sur le site Web du livre ! Une suite de logiciels gratuits de vérification des configurations réseau et de calcul de risques.

Tableaux de bord de la sécurité réseau: Offre exceptionnelle sur le site Web du livre ! Une suite de logiciels gratuits de vérification des configurations réseau et de calcul de risques.

36.50 GBP
Challenges of Software Verification

Challenges of Software Verification

139.99 GBP
Introducing Software Verification with Dafny Language: Proving Program Correctness

Introducing Software Verification with Dafny Language: Proving Program Correctness

50.13 GBP
Artech House, Inc. Software Verification and Validation for Practitioners and Managers

Artech House, Inc. Software Verification and Validation for Practitioners and Managers

79.00 USD
Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

49.99 GBP