Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24,2005, Proceedings, Lecture Notes in Computer Science 3639 - Theoretical Computer Science and General Issues
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 09.08.2005
Umfang: xii, 292 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540281955
Umbreit-Nr.: 9724407
