Υλοποίηση μιας γλώσσας τύπων με εφαρμογές στην πιστοποίηση εκτελέσιμου κώδικα /

Κύριος συγγραφέας: Παπακυριάκου, Μιχάλης Α
Συγγραφή απο Οργανισμό/Αρχή: Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Μορφή: Βιβλίο
Γλώσσα:Greek