An introduction to bisimulation and coinduction / Davide Sangiorgi. electronic resource

Författare
Davide Sangiorgi
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat