Für die Filterung wurden keine Ergebnisse gefunden!
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Das Buch "Computer Aided Verification: 15th International Conference, CAV 2003" ist ein Sammelband, der die Beiträge der 15. Internationalen Konferenz zur rechnergestützten Verifikation (CAV) enthält, die im Juli 2003 in Boulder,...
51,64 €