Computer Aided Verification

Computer Aided Verification
-0 %
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
 PDF
Sofort lieferbar | Lieferzeit: Sofort lieferbar

Unser bisheriger Preis:ORGPRICE: 112,21 €

Jetzt 112,20 €* PDF

Artikel-Nr:
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
Beschreibung:

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.