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
|