Formal Reasoning About Distributed Algorithms /

Tallennettuna:
Bibliografiset tiedot
OCLC:40838243
Päätekijä: Waldén, Marina
Yhteisötekijä: Åbo akademi (1918- )
Kieli:English
Julkaistu: Turku : Turku Centre for Computer Science, 1998.
Sarja:TUCS dissertations, no. 10, September 1998.
Aiheet:
Aineistotyyppi:

Opinnäyte Monograph

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

Kuvaus
Huomautukset:Contient en annexe les publications de l'auteur parues dans différentes revues sur ce sujet.
Ulkoasu:pagination multiple : ill. ; 25 cm.
Bibliografia:Bibliogr. : p. 24-28.
ISBN:9521202548
ISSN:1239-1883 ;
Julkaisupaikka:Finland.