articole
(gol)
Contact
Cont 
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.
citește totul
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.
ascunde descrierea
- Editură: MIT Press Ltd
- Cod:
- Anul publicării: 2008
- Limba: Engleză
- Legarea: Legată
- Număr de pagini: 984
- Lățimea ambalajului: 20.6 cm
- Înălțimea ambalajului: 25.8 cm
- Adâncimea ambalajului: 4.2 cm
- Greutatea ambalajului: 1.9 kg
Recenzii