ISBN 9783540551799 books & textbook

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, 575)

Larsen, Kim G. Skou, Arne

Springer /1992-04-22 Paperback / 504 Pages
isbn-10: 3540551794 / isbn-13: 9783540551799