5135793
9780387544779
Out of Stock
The item you're looking for is currently unavailable.
Clarke, E. M. is the author of 'Computer-Aided Verification 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings', published 1991 under ISBN 9780387544779 and ISBN 0387544771.
[read more]