Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7,2010, Revised Selected Papers - Lecture Notes in Computer Science/Programming and Software Engineering 6504, Lecture Notes in Computer Science 6504 - Programming an
Sharon Barner/Ian Harris/Daniel Kroening et al
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 17.03.2011
Umfang: x, 197 S., 38 s/w Illustr., 13 farbige Illustr., 1
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642195822
Umbreit-Nr.: 1588040
