An introduction to bisimulation and coinduction
Bookmark
ShareCopied to clipboardAn introduction to bisimulation and coinduction is a book. It was written by Davide Sangiorgi and published by Cambridge University Press in 2012.
Key facts
- author: Davide Sangiorgi
- publication date: 2012
- book publisher: Cambridge University Press
- book series: unknown
- book subjects: Computer science, Induction (Mathematics), Modality (Logic)
See more factsExtract data
Download datasets about An introduction to bisimulation and coinduction:
Dataset of books series that contain An introduction to bisimulation and coinduction:
Dataset of book subjects that contain An introduction to bisimulation and coinduction:
"An introduction to bisimulation and coinduction" is one of the books by Davide Sangiorgi, books by Cambridge University Press and 2,617,384 books in our database.
Related
Connected or similar to An introduction to bisimulation and coinduction: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.