Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/12980
Εναλλακτικός τίτλος
Abstract model theory and its applications to specification languages
Συγγραφέας
Στεφανέας, Πέτρος
Ημερομηνία
2001
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Τμήμα Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Εξεταστική επιτροπή
Κολέτσος Γεώργιος
Παπαϊωάννου Αλέξανδρος
Ζάχος Ευστάθιος
Σελλής Τιμολέων
Μάγκλαρης Βασίλειος
Δημητρακόπουλος Κωνσταντίνος
Αφράτη Φώτω
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Μαθηματικά
Λέξεις-κλειδιά
Αφηρημένα συστήματα; Θεωρητική πληροφορική; Γλώσσες προδιαγραφών; Άλγεβρα; Λογικά συστήματα
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά