che-chandler.de
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
PDF
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783540278139
Veröffentl:
2004
Einband:
PDF
Seiten:
536
Autor:
Rajeev Alur
Serie:
Lecture Notes in Computer Science
eBook Typ:
PDF
eBook Format:
PDF
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch