Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
572 kr
ODIN and the Nine Worlds: A Nordic Creation Story
Häftad, Engelska
286 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Mer från samma författare
Fantastic Stories Presents the Planet Stories Super Pack
Charles A. Stearns, James H. Schmitz, John Murray Reynolds, Fox B. Holden, Charles Saphro, Raymond Z. Gallun, Noel Loomis, Leigh Brackett, Henry Hasse, Stanley Mullen, Charles Dye, Florence Verbell Brown, Jan Smith, Chas. A. Stopher, Vaseleos Garson, Robert Moore Williams, Poul Anderson, Jr. James Mckimmey, Henry Kuttner, H. B. Fyfe, Philip K. Dick, Warren Lapine
E-bok
201629 kr
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
572 kr
Palgrave Handbook of Consultancy in Health Psychology
Roseanna Brady, Judit Varkonyi-Sepp, Jan Smith
Inbunden, 2025
2 042 kr