Formal reasoning about distributed algorithms
Marina Waldén
Bok Engelsk 1998
| Utgitt | [Turku] : Department of Computer Science, Åbo Akademi University , 1998
|
|---|---|
| Omfang | 1 b. (flere pag.) : fig.
|
| Opplysninger | Avhandling (doktorgrad) - Åbo akademi, 1998
|
| Emner | |
| ISBN | 9521202548
|
