Model Checking
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.
Specificaties
| ISBN/EAN | 9780262038836 |
| Auteur | Edmund M. Clarke (Carnegie Mellon University) Jr. |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 424 |
| Lengte | 229.0 mm |
| Breedte | 178.0 mm |