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, 2003

708 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

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr