Advanced formal verification/

Other Authors: Drechsler, Rolf
Format: Book
Language:English
Published: Boston: Kluwer Academic Publishers, c2004
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουTK7867.A38 20041ΠροβολήOPAC