Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12,2000.Selected Papers, Lecture Notes in Computer Science 2277
Paul Callaghan/Zhaohui Luo/James McKinna et al
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 20.02.2002
Umfang: viii, 248 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540432876
Umbreit-Nr.: 1470151
