Filtrera

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

Thierry Coquand - Böcker

Visar alla böcker av Thierry Coquand. Handla med fri frakt och snabb leverans!

  1. Types for Proofs and Programs

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

    Häftad, Engelska, 2000-12-01
    755
    Skickas från oss inom 7-10 vardagar.
  2. Types for Proofs and Programs E-bok

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

    E-bok (PDF, LCP), Engelska, 2003-07-31
    740
    Läs i Bokus Reader för iOS och Android.