Computer Aided Verification
60,80 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540405245
The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
| EAN: | 9783540405245 |
|---|---|
| Auflage: | 2003 |
| Sprache: | Englisch |
| Seitenzahl: | 480 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Somenzi, Fabio Hunt, Jr. |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 27.06.2003 |
| Untertitel: | 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings |
| Schlagworte: | Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Verifikation - verifizieren |
| Größe: | 26 × 155 × 235 |
| Gewicht: | 721 g |
