5135674
9780387564968
Out of Stock
The item you're looking for is currently unavailable.
Bochmann, G. V. is the author of 'Computer Aided Verification Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 Proceedings', published 1994 under ISBN 9780387564968 and ISBN 0387564969.
[read more]