Constraint-based verification
Constraint-based verification is a book. It was written by Jun Yuan and published by : Springer in 2006.
Key facts
- author: Jun Yuan
- publication date: 2006
- book publisher: : Springer
- book series: unknown
- book subjects: Constraints (Artificial intelligence), Digital electronics-Testing, Electronic systems-Testing
Extract data
Download datasets about Constraint-based verification:
Dataset of books series that contain Constraint-based verification:
Dataset of book subjects that contain Constraint-based verification:
"Constraint-based verification" is one of the books by Jun Yuan, books by : Springer and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.