Action refinement in process algebras

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Aceto, Luca (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York Cambridge University Press c1992
Σειρά:Distinguished Dissertations in Computer Science
Θέματα:

ΒΚΠ - Πατρα: ALFe

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: 005 ACE
Αντίγραφο 1 Στη βιβλιοθήκη