Koszyk
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: Broszurowa/paperback
- Liczba stron: 424
- Šířka balení: 22.8 cm
- Výška balení: 17.8 cm
- Hloubka balení: 26 mm
- Váha balení: 658 g
Recenzja