Program verification/

Main Author: Francez, Nissim
Format: Book
Published: Wokingham, England : Addison-Wesley Publishing Co., Inc., c1992
Series:International computer science series
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
ΤΕΙ Ανατολικής Μακεδονίας & ΘράκηςΠροβολήOPAC
Εθνικό Μετσόβιο Πολυτεχνείο005.141ΠροβολήOPAC