Μοντελοποίηση και επαλήθευση κινητών συστημάτων με τεχνικές αλγεβρικών προδιαγραφών/

Main Author: Ουρανός, Ιάκωβος Χ.
Corporate Author: Εθνικό Μετσόβιο Πολυτεχνείο.
Format: Book
Language:Greek
Published: Αθήνα: [χ.ό.], 2008
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο ΑθηνώνΔΔ 629.89 ΟυρΙ μ 20082ΠροβολήOPAC