Algebraic semantics of imperative programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Goguen, Joseph
Άλλοι συγγραφείς: Malcolm, Grant
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, Mass. MIT Press 1996
Σειρά:Foundations of computing
Θέματα:

ΒΚΠ - Πατρα: BSC

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