---
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: "AR$92739"
currency: ARS
in_stock: true
url: https://www.desertcart.com.ar/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program
store_origin: AR
region: Argentina
---

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

**Brand:** martin davisjt schwartz
**Price:** AR$92739
**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?** AR$92739 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.com.ar](https://www.desertcart.com.ar/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.com.ar/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program](https://www.desertcart.com.ar/products/362195746-correct-program-technology-extensibility-of-verifiers-two-papers-on-program)

---

*Product available on Desertcart Argentina*
*Store origin: AR*
*Last updated: 2026-04-23*