Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28,1993.Selected Papers, Lecture Notes in Computer Science 806
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 20.05.1994
Umfang: ix, 395 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540580850
Umbreit-Nr.: 1432036
