Computer Aided Verification
120,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540374060
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
| EAN: | 9783540374060 |
|---|---|
| Auflage: | 2006 |
| Sprache: | Englisch |
| Seitenzahl: | 584 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Jones, Robert B. Ball, Thomas |
| Verlag: | Springer Berlin Springer Berlin Heidelberg |
| 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 |
| Größe: | 32 × 155 × 235 |
| Gewicht: | 873 g |
