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

734 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

Kristin Hannah - Näktergalen, Pocket
  • 4 för 3

Näktergalen

Kristin Hannah

Pocket, 2023

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

99 kr

Malin Nordström - Kalla mig syster, Pocket
  • -30%
Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

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

69 kr99 kr

David Szalay - Kött, Inbunden
  • -23%

Kött

David Szalay

Inbunden, 2026

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

199 kr259 kr