booktheque

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska · 2023

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2023
Language
English
Publisher
Springer International Publishing AG
Editions
1
ISBN
9783031212215

Data source: Wikidata