27131605
9781175746788
Out of Stock
The item you're looking for is currently unavailable.
Davis, Martin is the author of 'Correct-Program Technology/Extensibility of Verifiers Two Papers on Program Verification by Martin Davis and J T Schwartz', published 2011 under ISBN 9781175746788 and ISBN 1175746789.
[read more]