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

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