Verification of sequential and concurrent programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Apt, Krzysztof (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Berlin Springer 1997
Έκδοση:2nd ed.
Θέματα:

ΒΚΠ - Πατρα: ALFe

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