Showing 1 - 2 of 2 Results
1.
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. B... by Davis, Martin, Schwartz, Jt... ISBN: 9781341578281 List Price: $23.95
2.
Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. b... by Davis, Martin, Schwartz, Jt ISBN: 9781379252634 List Price: $13.95