towar
(pusty)
Kontakt
Konto 
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
przeczytaj całość
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
ukryj opis
- Wydawnictwo: MIT Press Ltd
- Kod:
- Rok wydania: 2018
- Język: Angielski
- Oprawa: Miękka oprawa
- Liczba stron: 424
- Szerokość opakowania: 22.8 cm
- Wysokość opakowania: 17.8 cm
- Głębokość opakowania: 2.6 cm
- Waga: 658 g
Recenzja