Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Type Theory and Formal Proof

-15% su kodu: ENG15
160,88 
Įprasta kaina: 189,27 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
160,88 
Įprasta kaina: 189,27 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 189.2700 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Informacija

Autorius: Rob Nederpelt, Herman Geuvers,
Leidėjas: Cambridge University Press
Išleidimo metai: 2016
Knygos puslapių skaičius: 466
ISBN-10: 110703650X
ISBN-13: 9781107036505
Formatas: 250 x 175 x 29 mm. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Type Theory and Formal Proof“

Būtina įvertinti prekę