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

Main Author:	Ουρανός, Ιάκωβος Χ.
Corporate Author:	Εθνικό Μετσόβιο Πολυτεχνείο.
Format:	Book
Language:	Greek
Published:	Αθήνα: [χ.ό.], 2008
Subjects:	Ανάλυση συστημάτων Ψηφιακά συστήματα ελέγχου

Physical Description:	158 σ. : πίν., διαγρ. ; 30 εκ.
Bibliography:	Περιλαμβάνει βιβλιογραφικές παραπομπές.