ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ

• Main Authors: Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ; Logic For Computer Science

Εισαγωγή. <br/>Τυπικές Μέθοδοι (Formal Methods) και αλγεβρικές προδιαγραφές. <br/>Η οικογένεια των γλωσσών OBJ. <br/>Επισκόπηση των προδιαγραφών σε CafeOBJ.<br/>Τμήματα (Modules). Τύποι (Sorts). Τελεστές (Οperators).<br/>Όροι (Terms). Reduction. <br/>Conditional E...