Košík
zboží
(prázdné)
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
číst celé
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
schovat popis
- Nakladatel: MIT Press Ltd
- Kód:
- Rok vydání: 2018
- Jazyk: Angličtina
- Vazba: Taschenbuch
- Počet stran: 424
- Šířka balení: 22.8 cm
- Výška balení: 17.8 cm
- Hloubka balení: 2.6 cm
- Váha balení: 658 g
Recenze