---
product_id: 488268638
title: "Programming Languages: Build, Prove, and Compare"
price: "€ 98.72"
currency: EUR
in_stock: true
reviews_count: 1
url: https://www.desertcart.pt/products/488268638-programming-languages-build-prove-and-compare
store_origin: PT
region: Portugal
---

# Programming Languages: Build, Prove, and Compare

**Price:** € 98.72
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Programming Languages: Build, Prove, and Compare
- **How much does it cost?** € 98.72 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.pt](https://www.desertcart.pt/products/488268638-programming-languages-build-prove-and-compare)

## Best For

- Customers looking for quality international products

## Why This Product

- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Programming Languages: Build, Prove, and Compare: 9781107180185: Computer Science Books @ desertcart.com

Review: An important book - Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!

## Technical Specifications

| Specification | Value |
|---------------|-------|
| Best Sellers Rank | #1,059,607 in Books ( See Top 100 in Books ) #917 in Computer Programming Languages #1,630 in Programming Languages (Books) |
| Customer Reviews | 5.0 out of 5 stars 11 Reviews |

## Images

![Programming Languages: Build, Prove, and Compare - Image 1](https://m.media-amazon.com/images/I/61slMd95sLL.jpg)

## Customer Reviews

### ⭐⭐⭐⭐⭐ An important book
*by N***M on January 2, 2025*

Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!

## Frequently Bought Together

- Programming Languages: Build, Prove, and Compare
- Essentials of Compilation: An Incremental Approach in Racket

---

## 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.pt/products/488268638-programming-languages-build-prove-and-compare](https://www.desertcart.pt/products/488268638-programming-languages-build-prove-and-compare)

---

*Product available on Desertcart Portugal*
*Store origin: PT*
*Last updated: 2026-03-27*