Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών

• Main Author: Στεφανέας, Πέτρος Σ.
• Corporate Author: Εθνικό Μετσόβιο Πολυτεχνείο (Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, Τομέας Μαθηματικών)
• Format: Book
• Language: Greek
• Published: Αθήνα [χ.ό.] 2001
• Subjects: Λογική, Συμβολική και μαθηματική; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Μαθηματικά > Πληροφορική
• Item Description: Διδακτορική διατριβή
• Physical Description: 155 σ. σχήμ., πίν. 30 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφία