Stepwise refinement of communicating systems
Finna-arvio
Stepwise refinement of communicating systems
Tallennettuna:
| Ulkoasu |
31, [2] sivua ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Turku :
Åbo Akademi University,
1994.
|
| Sarja | Reports on computer science & mathematics, Ser. A, ISSN 1235-7502; no 147. |
| Luokitus | |
| Lisätiedot | M. Butler |
| ISBN |
951-650-349-7 nidottu |