Lambda Calculus with Types
543,53 zł
Sprzedaje firma Libristo
Jak sortujemy?
Dostawa za darmo
Dostawa i płatność
Przewidywany czas wysyłki16-21 dni roboczych
Szczegóły
Sprzedawca zagraniczny
Więcej informacji
Zwrotdo 14 dni
Zwroty
Wszystkie produkty sprzedawcy
Informacje szczegółowe
Pokaż wszystkieProgram Ochrony Kupujących
Na empik.com kupujesz bezpiecznie.
Każdy sprzedawca w empik.com jest przedsiębiorcą. Wszystkie obowiązki związane z umową sprzedaży ciążą na sprzedawcy. Za wysłanie produktu odpowiada sprzedawca.
Opis produktu
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Informacje szczegółowe
| ID produktu: | 1074130879 |
|---|---|
| Tytuł: | Lambda Calculus with Types |
| Autor: | |
| Wydawnictwo: | |
| Język wydania: | angielski |
| Liczba stron: | 856 |
| GPSR - osoba odpowiedzialna i certyfikaty: |
Oceny i recenzje o produkcie
Nikt jeszcze nie dodał recenzji tego produktu.
Bądź pierwszy!Twoja opinia będzie bardzo przydatna dla innych użytkowników.
