articole
(gol)
Contact
Cont 
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
citește totul
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
ascunde descrierea
- Editură: MIT Press Ltd
- Cod:
- Anul publicării: 2018
- Limba: Engleză
- Legarea: Broșată
- Număr de pagini: 424
- Lățimea ambalajului: 22.8 cm
- Înălțimea ambalajului: 17.8 cm
- Adâncimea ambalajului: 2.6 cm
- Greutatea ambalajului: 658 g
Recenzii