Fortæl dine venner om denne vare:
Principles of Model Checking - Principles of Model Checking
Baier, Christel (Technische Universitat Dresden)
Tilføj til din iMusic ønskeseddel
Eller
Principles of Model Checking - Principles of Model Checking
Baier, Christel (Technische Universitat Dresden)
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.
984 pages, illus.
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 25. april 2008 |
| ISBN13 | 9780262026499 |
| Forlag | MIT Press Ltd |
| Antal sider | 984 |
| Mål | 206 × 258 × 42 mm · 2,10 kg |