Denotional semantics for Abadi and Leino's logic of objects
Bookmark
ShareCopied to clipboardDenotional semantics for Abadi and Leino's logic of objects is a book. It was written by Bernhard Reus and published by Department of Informatics, University of Sussex in 2004.
Key facts
- author: Bernhard Reus
- publication date: 2004
- book publisher: Department of Informatics, University of Sussex
- book series: Report
- book subjects: Information theory in mathematics, Programming (Mathematics)
See more factsExtract data
Download datasets about Denotional semantics for Abadi and Leino's logic of objects:
Dataset of books series that contain Denotional semantics for Abadi and Leino's logic of objects:
Dataset of book subjects that contain Denotional semantics for Abadi and Leino's logic of objects:
"Denotional semantics for Abadi and Leino's logic of objects" is one of the books by Bernhard Reus, books by Department of Informatics, University of Sussex and 2,617,384 books in our database.
Related
Connected or similar to Denotional semantics for Abadi and Leino's logic of objects: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.