1 / 1
- 2026
- year of publication
- 442
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6205-601-4
- EAN
- 9780262056014
- Publication date
- 2026-11-10
- Book
- Algorithms for Validation · 1 edition
The publisher on this edition
A broad, rigorous introduction to algorithms for validating safety-critical systems. Validation is a critical component of the development process for decision-making systems used in high-stakes settings,...