Φορτώνει......

Predicate Calculus And Program Semantics

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Dijkstra, Edsger W
Μορφή: Printed Book
Έκδοση: Springer Verlag 1990

MG University

Λεπτομέρειες τεκμηρίων από MG University
Ταξιθετικός Αριθμός: 005.131
Αντίγραφο Η τρέχουσα κατάσταση είναι άγνωστη