Cover Image

Model checking /

Main Author: Clarke, E. M., 1945-
Other Authors: Grumberg, Orna., Peled, Doron,
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, c1999.
Subjects:
Computers > Verification.
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Τεχνολογικό Πανεπιστήμιο Κύπρου-1ΠροβολήOPAC

Similar Items