A rely/guarantee reasoning framework using computational tree logic
ShareCopied to clipboardA rely/guarantee reasoning framework using computational tree logic is a book. It was written by Joey W. Coleman and published by Newcastle UniversityComputing Science in 2010.
Key facts
- author: Joey W. Coleman
- publication date: 2010
- book publisher: Newcastle UniversityComputing Science
- book series: Technical report series
- book subjects: Computer logic, Temporal databases
See more factsExtract data
Download datasets about A rely/guarantee reasoning framework using computational tree logic:
Dataset of books series that contain A rely/guarantee reasoning framework using computational tree logic:
Dataset of book subjects that contain A rely/guarantee reasoning framework using computational tree logic:
"A rely/guarantee reasoning framework using computational tree logic" is one of the books by Joey W. Coleman, books by Newcastle UniversityComputing Science 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.