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

Program logics for certified compilers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Appel, Andrew W., 1960-
Μορφή: Printed Book
Γλώσσα:English
Θέματα:

University of Calicut

Λεπτομέρειες τεκμηρίων από University of Calicut
Ταξιθετικός Αριθμός: 005.14 APP/P
Αντίγραφο Η τρέχουσα κατάσταση είναι άγνωστη