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.
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | E-Book Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass
MIT Press
2008
The MIT Press |
| Ausgabe: | 1 |
| Schlagworte: | |
| ISBN: | 026202649X, 9780262026499 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!