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.
التنسيق:

أطروحة 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.
ردمك:9521202548
تدمد:1239-1883 ;
مكان النشر:Finland.

مواد مشابهة