áru
(üres)
Kapcsolat
Fiók 
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
tovább
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
leírás elrejtése
- Kiadó: MIT Press Ltd
- Kód:
- Kiadás éve: 2018
- Nyelv: Angol
- Kötés: Fűzött (paperback)
- Oldalak száma: 424
- Csomag szélessége: 22.8 cm
- Csomag magassága: 17.8 cm
- Csomag mélysége: 2.6 cm
- Csomag súlya: 658 g
Recenzió