towar
(pusty)
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.
przeczytaj całość
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.
ukryj opis
- Wydawnictwo: MIT Press Ltd
- Kod:
- Rok wydania: 2008
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 984
- Szerokość opakowania: 20.6 cm
- Wysokość opakowania: 25.8 cm
- Głębokość opakowania: 4.2 cm
- Waga: 1.9 kg
Recenzja