Computer Aided Verification
| Themengebiete: | Begründung / Beweis Beweis Logik Philosophie / Logik Verifikation - verifizieren |
|---|---|
| Veröffentlichungsdatum: | 08.08.2006 |
| EAN: | 9783540374060 |
| Auflage: | 2006 |
| Sprache: | Englisch |
| Seitenzahl: | 584 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ball, Thomas Jones, Robert B. |
| Verlag: | Springer Berlin Springer Berlin Heidelberg |
| Untertitel: | 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
Produktinformationen "Computer Aided Verification"
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
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