Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Häftad, 1999
729 kr
Conceptual Programming with Python
Häftad, Engelska, 2020
309 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2020-04-08
- Mått148 x 210 x 15 mm
- Vikt341 g
- FormatHäftad
- SpråkEngelska
- Antal sidor260
- FörlagLulu.com
- ISBN9780244822767
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Häftad, 1999
729 kr
- Nyhet
Del 6
- Nyhet
- Nyhet
Del 2