Advanced topics in bisimulation and coinduction /

Uloženo v:
Podrobná bibliografie
Další autoři: Sangiorgi, Davide, 1964- (Editor), Rutten, Jan (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 2011
Edice:Cambridge tracts in theoretical computer science ; 52
Témata:
Popis
Fyzický popis:xiii, 326 s.
Bibliografie:Obsahuje bibliografii a rejstřík
ISBN:978-1-107-00497-9