An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Podstawowe cechy
ISBN
9780262536431
Oprawa
Miękka
Sprawdź promocyjne oferty na Little typer marki Mit press ltd
Informacje o dostępności i zmianach cen zastosowane w powyższej klasyfikacji są synchronizowane niemal bez opóźnień.
Pełny opis produktu
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Parametry
ISBN
9780262536431
Oprawa
Miękka
Ilość stron
424
Rok wydania
2018
Kategoria
Literatura obcojęzyczna
Producent
MIT Press Ltd
Opinia użytkowników
-
Opinie oraz Recenzje
Anna G.
02.06.2024
Przesłana przez Ciebie opinia produktu może pomóc innym użytkownikom
Jeżeli tylko korzystać z pokazywanego produktu Little typer marki Mit press ltd podziel się z użytkownikami oceną i opinią. Powiedz jakie są Twoje z korzystania, czy nie żałujesz zakupu produktu, a także czy relacja jakość / cena jest dla Ciebie wystarczająca.