Types for Proofs and Programs

International Workshop, TYPES''99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

AvJan Smith,Bengt Nordstrom

E-bok
PDF, Engelska, 2003

687 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

Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe - Applied Semantics, E-bok

Applied Semantics

Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe

E-bok
2003

708 kr

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Applied Semantics, Häftad

Applied Semantics

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

Häftad, 2002

561 kr