Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15,2012, Proceedings, Lecture Notes in Computer Science 7679 - Theoretical Computer Science and General Issues
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 01.11.2012
Umfang: x, 305 S., 64 s/w Illustr., 305 p. 64 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642353079
Umbreit-Nr.: 4134836
