---
product_id: 158997708
title: "An Introduction to Practical Formal Methods Using Temporal Logic"
brand: "michael fisher"
price: "€ 218.43"
currency: EUR
in_stock: true
url: https://www.desertcart.de/products/158997708-an-introduction-to-practical-formal-methods-using-temporal-logic
store_origin: DE
region: Germany
---

# An Introduction to Practical Formal Methods Using Temporal Logic

**Brand:** michael fisher
**Price:** € 218.43
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** An Introduction to Practical Formal Methods Using Temporal Logic by michael fisher
- **How much does it cost?** € 218.43 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [www.desertcart.de](https://www.desertcart.de/products/158997708-an-introduction-to-practical-formal-methods-using-temporal-logic)

## Best For

- michael fisher enthusiasts

## Why This Product

- Trusted michael fisher brand quality
- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

Full description not available

---

## 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.de/products/158997708-an-introduction-to-practical-formal-methods-using-temporal-logic](https://www.desertcart.de/products/158997708-an-introduction-to-practical-formal-methods-using-temporal-logic)

---

*Product available on Desertcart Germany*
*Store origin: DE*
*Last updated: 2026-05-16*