---
product_id: 362195746
title: "Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz"
brand: "martin davisjt schwartz"
price: "₨16975"
currency: LKR
in_stock: true
url: https://www.desertcart.lk/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program
store_origin: LK
region: Sri Lanka
---

# Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

**Brand:** martin davisjt schwartz
**Price:** ₨16975
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz by martin davisjt schwartz
- **How much does it cost?** ₨16975 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.lk](https://www.desertcart.lk/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program)

## Best For

- martin davisjt schwartz enthusiasts

## Why This Product

- Trusted martin davisjt schwartz brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz

## Images

![Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz - Image 1](https://m.media-amazon.com/images/I/61EPn9iSZ-L.jpg)

---

## Why Shop on Desertcart?

- 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016
- 🌍 **Shop Globally** — Access 737+ million products across 21 categories
- 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price
- 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members)
- 🔒 **Secure Payments** — Trusted payment options with buyer protection
- ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews

**Shop now:** [https://www.desertcart.lk/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program](https://www.desertcart.lk/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program)

---

*Product available on Desertcart Sri Lanka*
*Store origin: LK*
*Last updated: 2026-04-23*