Computer software-Verification
ShareCopied to clipboardComputer software-Verification is a book subject. It includes 59 books, written by 52 different authors.
Key facts
- number of authors: 52 people
- number of books: 59
- books: Principles of the Spin model checker, Data flow analysis : theory and practice
- authors: M. Ben-Ari, Uday Khedker
- publication dates: 2008, 2009, 2009
- book publishers: : Springer, C R C, CRC Press/Taylor&Francis
See more factsExtract data
Download datasets about Computer software-Verification:
Dataset of books about Computer software-Verification
"Computer software-Verification" is one of the 293,135 book subjects in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.