67349307
9781379252634
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 2018 under ISBN 9781379252634 and ISBN 1379252636.
[read more]