A calculus of total correctness for communicating processes /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Médium: | Kniha |
| Jazyk: | English |
| Vydáno: |
Oxford :
Oxford University Computing Laboratory, Programming Research Group,
1981.
|
| Edice: | Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
PRG-23. |
| Témata: |
CARM 1 Store
| Signatura: |
A2:AI09B0 B04134 |
|---|---|
| Jednotka 1 | Dostupné Požadavek |