Computer Aided Verification
120,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540439974
Includes supplementary material: sn.pub/extras
| EAN: | 9783540439974 |
|---|---|
| Auflage: | 2002 |
| Sprache: | Englisch |
| Seitenzahl: | 656 |
| Produktart: | kartoniert, broschiert |
| Herausgeber: | Larsen, Kim G. Brinksma, Ed |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 19.07.2002 |
| Untertitel: | 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings |
| Schlagworte: | Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Verifikation - verifizieren |
| Größe: | 36 × 155 × 235 |
| Gewicht: | 978 g |
