Logic for concurrency and synchronisation /
Uloženo v:
| Další autoři: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Dordrecht :
Kluwer Academic Publishers,
c2003.
|
| Edice: | Trends in logic ;
18 |
| Fyzický popis: | xxi, 284 s. |
|---|---|
| ISBN: | 1-4020-1270-5 |