# Reactive Systems: Modelling, Specification and Verification

**Reactive Systems: Modelling, Specification and Verification** van Luca Aceto, Anna Ingólfsdóttir en Kim Guldstrand Larsen is een Engelstalig studieboek over formele methoden voor reactive en distributed systems.

Het boek behandelt process algebra, operational semantics, bisimulation, modal logic en timed systems. De nadruk ligt op het modelleren, specificeren en verifiëren van software- en communicatiesystemen met wiskundige technieken.

ISBN: 9780521875462.

## Details

- **Price:** 97.0 EUR
- **Vendor:** Intertaal
- **Type:** Boek

## Variants

| Variant | Price | Available |
|---------|-------|-----------|
| Default Title | 97.00 EUR | In stock |

## Images

- Blauw boekreactive systems met gele titel en witte ondertitel over specification and verification door cambridge university press

## Additional Information

- **ISBN :** 9780521875462
- **Auteur:** Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen
- **Releasedate:** 09-08-2007

---

> Source: [Intertaal](https://intertaalid.nl/products/reactive-systems-modelling-specification-and-verification-9780521875462)
> Updated: 2026-08-24