Košík
zboží
(prázdné)
Kontakt
Účet
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
číst celé
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
schovat popis
- Nakladatel: MIT Press Ltd
- Kód:
- Rok vydání: 1999
- Jazyk: Angličtina
- Vazba: Gebunden
- Počet stran: 330
- Šířka balení: 18.8 cm
- Výška balení: 23.4 cm
- Hloubka balení: 2.3 cm
- Váha balení: 690 g
Recenze