---
product_id: 60788282
title: "Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996"
brand: "thomas henzingerrajeev alur"
price: "€ 108.10"
currency: EUR
in_stock: true
url: https://www.desertcart.hr/products/60788282-computer-aided-verification-8th-international-conference-cav-96-new-brunswick
store_origin: HR
region: Croatia
---

# Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996

**Brand:** thomas henzingerrajeev alur
**Price:** € 108.10
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996 by thomas henzingerrajeev alur
- **How much does it cost?** € 108.10 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.hr](https://www.desertcart.hr/products/60788282-computer-aided-verification-8th-international-conference-cav-96-new-brunswick)

## Best For

- thomas henzingerrajeev alur enthusiasts

## Why This Product

- Trusted thomas henzingerrajeev alur brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Full description not available

## Images

![Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996 - Image 1](https://m.media-amazon.com/images/I/314VGFZQJ0L.jpg)
![Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996 - Image 2](https://m.media-amazon.com/images/I/41tdWBMAqEL.jpg)
![Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102) Paperback – January 1, 1996 - Image 3](https://m.media-amazon.com/images/I/31197gxBcrL.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.hr/products/60788282-computer-aided-verification-8th-international-conference-cav-96-new-brunswick](https://www.desertcart.hr/products/60788282-computer-aided-verification-8th-international-conference-cav-96-new-brunswick)

---

*Product available on Desertcart Croatia*
*Store origin: HR*
*Last updated: 2026-05-14*