ebook img

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings PDF

644 Pages

2002

9.298 MB

English

by Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Checking for file health...

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.