Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17,2004, Proceedings, Lecture Notes in Computer Science 3114
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 29.06.2004
Umfang: xii, 536 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540223429
Umbreit-Nr.: 1517723
