ISBN 0387551794 books & textbook

Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science)

Springer Verlag /1992-05-01 Paperback / 487 Pages
isbn-10: 0387551794 / isbn-13: 9780387551791