Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Häftad, 2002
556 kr
Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
AvRobert Pollack,James McKinna
E-bok
PDF, Engelska, 2003718 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
Didaktische Konzeption eines E-Learning Kurses zur Geschäftsprozessmodellierung mit ereignisgesteuerten Prozessketten (EPK)
Robert Pollack
Häftad, 2011
400 kr
Del 11
Geschäftsprozessmodellierung mit ARIS und BPMN im Ausbildungsberuf IT- Systemkaufmann/ -frau
Robert Pollack
Häftad, 2011
362 kr
Del 98
Modern Perspectives in Type-Theoretical Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Inbunden, 2017
1 214 kr
Del 98
Modern Perspectives in Type-Theoretical Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Häftad, 2018
1 214 kr
Formal Semantics in Modern Type Theories
Stergios Chatzikyriakidis, Zhaohui Luo
Inbunden, 2021
1 908 kr