

| 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: |
Nikt jeszcze nie dodał recenzji tego produktu.
Bądź pierwszy!This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.