Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
AvConor McBride,Thorsten Altenkirch
E-bok
PDF, Engelska, 2007708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
List of Successes That Can Change the World
Don Sannella, Phil Trinder, Conor McBride, Sam Lindley
E-bok
2016734 kr
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Häftad, 1999
558 kr
Types for Proofs and Programs
Bernhard Reus, Wolfgang Naraschewski, Thorsten Altenkirch
E-bok
2003734 kr
Del 9600
List of Successes That Can Change the World
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
Häftad, 2016
558 kr
- -19%
- Signerad!
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr