áru
(üres)
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.
tovább
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.
leírás elrejtése
- Kiadó: MIT Press Ltd
- Kód:
- Kiadás éve: 2018
- Nyelv: Angol
- Kötés: Kötött
- Oldalak száma: 424
- Csomag szélessége: 18.7 cm
- Csomag magassága: 23.6 cm
- Csomag mélysége: 2.5 cm
- Csomag súlya: 802 g
Recenzió