Formal Reasoning About Distributed Algorithms /

שמור ב:
מידע ביבליוגרפי
OCLC:40838243
מחבר ראשי: Waldén, Marina
מחבר תאגידי: Åbo akademi (1918- )
שפה:English
יצא לאור: Turku : Turku Centre for Computer Science, 1998.
סדרה:TUCS dissertations, no. 10, September 1998.
נושאים:
Algorithmes.
Systèmes à paramètres répartis.
פורמט:

Thesis Monograph

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

תיאור
תאור פריט:Contient en annexe les publications de l'auteur parues dans différentes revues sur ce sujet.
תיאור פיזי:pagination multiple : ill. ; 25 cm.
ביבליוגרפיה:Bibliogr. : p. 24-28.
ISBN:9521202548
ISSN:1239-1883 ;
Place of Publication:Finland.

פריטים דומים