Scalable Techniques for Formal Verification
Ray, Sandip
| Autor: | Ray, Sandip |
|---|---|
| Veröffentlichungsdatum: | 19.10.2014 |
| EAN: | 9781489984449 |
| Auflage: | 2010 |
| Sprache: | Englisch |
| Seitenzahl: | 260 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer US Springer US, New York, N.Y. |
Produktinformationen "Scalable Techniques for Formal Verification"
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
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen