Košík
zboží
(prázdné)
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
číst celé
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
schovat popis
- Nakladatel: MIT Press Ltd
- Kód:
- Rok vydání: 2018
- Jazyk: Angličtina
- Vazba: Gebunden
- Počet stran: 424
- Šířka balení: 18.7 cm
- Výška balení: 23.6 cm
- Hloubka balení: 2.5 cm
- Váha balení: 802 g
Recenze