Košara
roba
(prazno)
Kontakt
Račun
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.
pročitati sve
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.
sakriti opis
- Izdavač: MIT Press Ltd
- Kod:
- Godina izdavanja: 2018
- Jezik: Engleski jezik
- Uvez: Vezana
- Broj stranica: 424
- Širina pakiranja: 18.7 cm
- Visina pakiranja: 23.6 cm
- Dubina pakiranja: 2.5 cm
- Težina pakiranja: 802 g
Recenzije