towar
(pusty)
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.
przeczytaj całość
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.
ukryj opis
- Wydawnictwo: MIT Press Ltd
- Kod:
- Rok wydania: 2018
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 424
- Szerokość opakowania: 18.7 cm
- Wysokość opakowania: 23.6 cm
- Głębokość opakowania: 2.5 cm
- Waga: 802 g
Recenzja