Concurrent systems : formal development in CSP
Finna-arvio
Concurrent systems : formal development in CSP
Tallennettuna:
| Ulkoasu |
xiii, 181 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
London :
McGraw-Hill,
1995.
|
| Sarja | The Mcgraw-Hill international series in software engineering |
| Luokitus | |
| Lisätiedot | Michael G. Hinchey, Stephen A. Jarvis |
| ISBN |
0-07-707649-4 |
| Hae kokoteksti | |