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

• Κύριος συγγραφέας: Στεφανέας, Πέτρος Σ.
• Συγγραφή απο Οργανισμό/Αρχή: Εθνικό Μετσόβιο Πολυτεχνείο (Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, Τομέας Μαθηματικών)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Αθήνα [χ.ό.] 2001
• Θέματα: Λογική, Συμβολική και μαθηματική; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; Μαθηματικά > Πληροφορική
• Περιγραφή τεκμηρίου: Διδακτορική διατριβή
• Φυσική περιγραφή: 155 σ. σχήμ., πίν. 30 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφία