Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
číst celé
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
schovat popis
- Nakladatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kód:
- Rok vydání: 2008
- Jazyk: Angličtina
- Vazba: Gebunden
- Počet stran: 172
- Šířka balení: 24.1 cm
- Výška balení: 16.6 cm
- Hloubka balení: 1.6 cm
- Váha balení: 453 g
Recenze