Advanced topics in bisimulation and coinduction /
Uloženo v:
| Další autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Cambridge :
Cambridge University Press,
2011
|
| Edice: | Cambridge tracts in theoretical computer science ;
52 |
| Témata: |
| Fyzický popis: | xiii, 326 s. |
|---|---|
| Bibliografie: | Obsahuje bibliografii a rejstřík |
| ISBN: | 978-1-107-00497-9 |