Design and validation of computer protocols

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Holzmann, Gerard J. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London New Jersey Prentice-Hall AT&T Bell Telephone Laboratories, Inc. c1991 c1991
Θέματα:

ΒΚΠ - Πατρα: ALFe

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