Program construction and verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Backhouse, Roland C. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Englewood Cliffs N.J. Prentice-Hall c1986
Θέματα:

ΒΚΠ - Πατρα: ALFe

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