Košík
zboží
(prázdné)
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
číst celé
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
schovat popis
- Nakladatel: MIT Press Ltd
- Kód:
- Rok vydání: 2008
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 984
- Šířka balení: 20.6 cm
- Výška balení: 25.8 cm
- Hloubka balení: 4.2 cm
- Váha balení: 1.9 kg
Recenze