Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10,1994.Selected Papers, Lecture Notes in Computer Science 996
Peter Dybjer/Bengt Nordström/Jan Smith
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 18.10.1995
Umfang: x, 210 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540605799
Umbreit-Nr.: 1427556
