ΕΦΑΡΜΟΓΕΣ: ΟΙ ΑΛΓΕΒΡΙΚΕΣ ΠΡΟΔΙΑΓΡΑΦΕΣ
Εισαγωγή. <br/>Τυπικές Μέθοδοι (Formal Methods) και αλγεβρικές προδιαγραφές. <br/>Η οικογένεια των γλωσσών OBJ. <br/>Επισκόπηση των προδιαγραφών σε CafeOBJ.<br/>Τμήματα (Modules). Τύποι (Sorts). Τελεστές (Οperators).<br/>Όροι (Terms). Reduction. <br/>Conditional E...
Κύριοι συγγραφείς: | Stefaneas, Petros, Koletsos, Georgios, Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4531 |
Παρόμοια τεκμήρια
-
Εφαρμογές της λογικής στην πληροφορική
ανά: Στεφανέας, Πέτρος, κ.ά.
Έκδοση: (2016) -
ΘΕΩΡΙΑ ΤΥΠΩΝ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΕΞΙΣΩΤΙΚΗ ΛΟΓΙΚΗ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
ΛΟΓΙΚΗ ΚΑΙ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ανά: Stefaneas, Petros, κ.ά.
Έκδοση: (2016) -
Αλγεβρικές Δομές και Αριθμοθεωρία
ανά: Zachos, Efstathios, κ.ά.
Έκδοση: (2016)