---
product_id: 52060719
title: "Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)"
brand: "kenneth mcmillanxavier rival"
price: "£71.75"
currency: GBP
in_stock: true
url: https://www.desertcart.co.uk/products/52060719-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai
store_origin: GB
region: United Kingdom
---

# Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)

**Brand:** kenneth mcmillanxavier rival
**Price:** £71.75
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues) by kenneth mcmillanxavier rival
- **How much does it cost?** £71.75 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.co.uk](https://www.desertcart.co.uk/products/52060719-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai)

## Best For

- kenneth mcmillanxavier rival enthusiasts

## Why This Product

- Trusted kenneth mcmillanxavier rival brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)

## Images

![Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues) - Image 1](https://m.media-amazon.com/images/I/417cWhXKC+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.co.uk/products/52060719-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai](https://www.desertcart.co.uk/products/52060719-verification-model-checking-and-abstract-interpretation-15th-international-conference-vmcai)

---

*Product available on Desertcart United Kingdom*
*Store origin: GB*
*Last updated: 2026-05-27*