Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings, Lecture Notes in Computer Science 8307 - Theoretical Computer Science and General Issues
Georges Gonthier/Michael Norrish
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 18.11.2013
Umfang: xii, 309 S., 44 s/w Illustr., 309 p. 44 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783319035444
Umbreit-Nr.: 5812052
