Πλοήγηση ανά Θέμα απόδειξη θεωρήματος
Εμφάνιση αποτελεσμάτων 1 έως 1 από 1
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
4-Απρ-2008 | Μοντελοποίηση Και Επαλήθευση Κινητών Συστημάτων Με Τεχνικές Αλγεβρικών Προδιαγραφών | Ιάκωβος Ουρανός | Φράγκος Παναγιώτης |