4464975
9780387581798
Out of Stock
The item you're looking for is currently unavailable.
CAV '94 Staff is the author of 'Computer Aided Verification: Proceedings of the 6th International Conference, CAV '94, Stanford, California, U.S.A., June 21-23, 1994 - CAV '94 Staff - Paperback' with ISBN 9780387581798 and ISBN 0387581790.
[read more]