Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23,2008, Proceedings, Lecture Notes in Computer Science 5311 - Programming and Software Engineering
Sungdeok Cha/Jin-Young Choi/Moonzoo Kim et al
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 06.10.2008
Umfang: xiv, 430 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540883869
Umbreit-Nr.: 4378771
