Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Product ID: 362195746
Secure Transaction
Frequently Bought Together
Description
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Great experience from order to delivery. Highly recommended!
1 week ago
Perfect platform for hard-to-find items. Delivery was prompt.
1 month ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving millions of shoppers across more than 100 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
