Llwytho...

Synchronous distributed algorithms : a proof system /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron: Adam, Michel., Inria-Rocquencourt., Helary, Jean-Michel.
Fformat: Livro
Iaith:Inglês
Cyhoeddwyd: INRIA, 1990.
Cyfres:Rapports de recherche ;
Pynciau:
Mynediad Ar-lein:https://minerva.ufrj.br/F/?func=direct&doc_number=000042418&local_base=UFR01
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!