Košara
roba
(prazno)
Kontakt
Račun
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
pročitati sve
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
sakriti opis
- Izdavač: MIT Press Ltd
- Kod:
- Godina izdavanja: 2018
- Jezik: Engleski jezik
- Uvez: Meʒuzvezana
- Broj stranica: 424
- Širina pakiranja: 22.8 cm
- Visina pakiranja: 17.8 cm
- Dubina pakiranja: 2.6 cm
- Težina pakiranja: 658 g
Recenzije