Principles of Model Checking
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.
Specificaties
| ISBN/EAN | 9780262026499 |
| Auteur | Christel (Technische Universitat Dresden) Baier |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 984 |
| Lengte | |
| Breedte |