Types for Proofs and Programs
International Workshop TYPES'96, Aussois, France, December 15-19,1996 Selected Papers, Lecture Notes in Computer Science 1512
Eduardo Gimenez/Christine Paulin-Mohring
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 07.10.1998
Umfang: viii, 380 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540651376
Umbreit-Nr.: 1509841
