| EAN: | 9783540374060 |
|---|---|
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 584 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ball, Thomas Jones, Robert B. |
| Veröffentlichungsdatum: | 08.08.2006 |
| Untertitel: | 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
| Schlagworte: | Begründung / Beweis Beweis Logik Philosophie / Logik Verifikation - verifizieren |
106,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006 Presents 35 revised full papers together with 10 tool papers and 4 invited papers Topical sections include automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, and more