Computer systems-Verification
Bookmark
ShareCopied to clipboardComputer systems-Verification is a book subject. It includes 21 books, written by 19 different authors.
Key facts
- number of authors: 19 people
- number of books: 21
- books: A high-level model-checking tool for verifying electronic contracts, A practical approach to verification of mobile systems using net unfoldings, A PROV encoding for provenance analysis using deductive rules
- authors: Abubkr Abdelsadiq, Roland Meyer, Paolo Missier
- publication dates: 2011, 2008, 2012
- book publishers: Newcastle UniversityComputing Science
See more factsExtract data
Download datasets about Computer systems-Verification:
Dataset of books about Computer systems-Verification:
"Computer systems-Verification" is one of the 293,135 book subjects in our database.
Related
Connected or similar to Computer systems-Verification: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.