522,44 zł
Sprzedaje firma Libristo
Jak sortujemy?
Dostawa za darmo
Dostawa i płatność
Przewidywany czas wysyłki29-30 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 |
| Rok wydania: | 2013 |
| Forma: | książka |
| Wysokość: | 44 |
| Głębokość: | 228 |
| 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.
Najpopularniejsze serie
Dobre na prezent
Bestsellery książkowe
Lektury szkolne
Serie dla młodzieży
Popularni autorzy
Przeczytaj więcej o…
Pokaż więcej
Poznaj Empik
Empik Pasje
Nasze produkty
EmpikPlace (Marketplace)
Outlet Empik
Do 100 zł na pierwsze zakupy w aplikacji. Pobierz i korzystaj z kodów zniżkowych. Dowiedz się więcej
Nasze projekty dofinansowane
ze środków Funduszy Europejskich
PARTNERZY LOGISTYCZNI:
OPERATOR PŁATNOŚCI:
NALEŻY DO:
