An algebraic proof in VDM
Bookmark
ShareCopied to clipboardAn algebraic proof in VDM is a book. It was written by Arthur P. Hughes and published by Trinity College, Department of Computer Science in 1996.
Key facts
- author: Arthur P. Hughes
- publication date: 1996
- book publisher: Trinity College, Department of Computer Science
- book series: unknown
- book subjects: Computer programs-Verification
See more factsExtract data
Download datasets about An algebraic proof in VDM:
Dataset of books series that contain An algebraic proof in VDM:
Dataset of book subjects that contain An algebraic proof in VDM:
"An algebraic proof in VDM" is one of the books by Arthur P. Hughes, books by Trinity College, Department of Computer Science and 2,617,384 books in our database.
Related
Connected or similar to An algebraic proof in VDM: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.