Košík
tovar
(prázdne)
Kontakt
Účet
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
prečítať celé
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Skryť popis
- Nakladateľ: MIT Press Ltd
- Kód:
- Rok vydania: 2018
- Jazyk: Angličtina
- Väzba: Paperback / softback
- Počet strán: 424
- Šírka balenia: 22.8 cm
- Výška balenia: 17.8 cm
- Hĺbka balenia: 2.6 cm
- Váha balenia: 658 g
Recenzie