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
2016708 kr
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Häftad, 1999
561 kr
Types for Proofs and Programs
Bernhard Reus, Wolfgang Naraschewski, Thorsten Altenkirch
E-bok
2003708 kr
Del 9600
List of Successes That Can Change the World
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
Häftad, 2016
561 kr
- Signerad!
Del 4
- Nyhet
Del 2
- -19%