Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Häftad, 1999
573 kr
Types for Proofs and Programs
International Workshop, TYPES ''98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
AvBernhard Reus,Wolfgang Naraschewski
E-bok
PDF, Engelska, 2003734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
