Introduction to formal hardware verification/

Main Author: Kropf, Thomas, 1961-
Format: Book
Language:English
Published: Berlin: Springer, c1999
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουTK7874.75.K76 19991ΠροβολήOPAC