Formal Reasoning About Distributed Algorithms /

Saved in:
Bibliografiske detaljer
OCLC:40838243
Hovedforfatter: Waldén, Marina
Institution som forfatter: Åbo akademi (1918- )
Sprog:English
Udgivet: Turku : Turku Centre for Computer Science, 1998.
Serier:TUCS dissertations, no. 10, September 1998.
Fag:
Format:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Beskrivelse Local Call Number Status
P-00062368 Tilgængelig