ISBN 3540439978 books & textbook

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404)

Brinksma, Ed Larsen, Kim G.

Springer /2002-07-19 Paperback / 372 Pages
isbn-10: 3540439978 / isbn-13: 9783540439974