Principles of the Spin model checker
ShareCopied to clipboardPrinciples of the Spin model checker is a book. It was written by M. Ben-Ari and published by : Springer in 2008.
Key facts
- author: M. Ben-Ari
- publication date: 2008
- book publisher: : Springer
- book series: unknown
- book subjects: Computer software-Verification
See more factsExtract data
Download datasets about Principles of the Spin model checker:
Dataset of books series that contain Principles of the Spin model checker
"Principles of the Spin model checker" is one of the books by M. Ben-Ari, 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.