Filtrera

Ämne
  • (2)
Format
  • (1)
  • (1)
Leveranstid
  • (1)

Böcker av Thierry Coquand

Sökningen gav 2 träffar.

  1. Types for Proofs and Programs

    av Thierry Coquand, Peter Dybjer, Bengt Nordstroem, Jan Smith

    Häftad, Engelska, 2000-12-01
    909
    Skickas inom 10-15 vardagar.
  2. Types for Proofs and Programs E-bok

    av Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith

    E-bok, Engelska, 2003-07-31
    809
    Laddas ned direkt