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

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