Scalable Techniques for Formal Verification
| Autor: | Ray, Sandip |
|---|---|
| EAN: | 9781489984449 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 260 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 19.10.2014 |
119,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Provides a tutorial introduction to the state of the art in formal verification Unlike other books that focus on a particular techniques or application domains, this is the first authoritative reference to discuss disparate reasoning techniques and how they work with each other in solving different application problems Assumes no previous knowledge of formal reasoning and logic and includes numerous case studies of the diversity of domains in which the techniques can be applied Includes supplementary material: sn.pub/extras
Verwandte Artikel
Weitere Produkte vom selben Autor
