Books by Jt Schwartz
No products found matching the selection.
-20%
Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz
€26.28
€32.85
-20% with code BOOKS
In stock at our supplier