Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24,2012.Proceedings, Lecture Notes in Computer Science 7385 - Theoretical Computer Science and General Issues
Alastair Donaldson/David Parker
€49.22
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 25.07.2012
Umfang: x, 261 S., 85 s/w Illustr., 261 p. 85 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642317583
Umbreit-Nr.: 3757881
