Záleží nám na vašom súkromí
Pomocou súborov cookie a súvisiacich technológií, ako aj spracovaním vašich údajov môžeme lepšie prispôsobiť zobrazovaný obsah vašim potrebám.Udelením súhlasu s ukladaním informácií na vašom koncovom zariadení alebo s prístupom k informáciám a spracovaním údajov, a to aj v oblasti profilovania, trhu a štatistickej analýzy, budete môcť na stránkach Allegro ešte ľahšie nájsť presne to, čo hľadáte a čo potrebujete.Správcami vašich údajov bude spoločnosť Allegro, ako aj niektorí partneri, s ktorými spolupracujeme.
Jednoduchšie používanie našich stránok, zobrazovanie a meranie personalizovaného obsahu a reklám, vytváranie štatistík a zlepšovanie funkčnosti.Súhlas je dobrovoľný. Môžete ho kedykoľvek odvolať alebo obnoviť v záložke Nastavenia súborov cookie na hlavnej stránke. Odvolanie súhlasu nemá vplyv na zákonnosť spracovania vykonaného pred odvolaním.
zásady používania súborov cookiezásady ochrany osobných údajovĎalšie produkty od tohto predajcu
- 19,77 €
- The Unabomber Manifesto - Ted Kaczynski
- od 0 € so
- 29,14 €
- Empowered: Ordinary People, Extraordinary
- za 0 € so
- 33,87 €
- INSPIRED: How to Create Tech Products Customers
- za 0 € so
Parametre
Stav | Nové |
Faktúra | Vystavujem faktúry s DPH |
Jazyk vydania | Angličtina |
Názov | Type Theory and Formal Proof |
Autor | Nederpelt Rob |
Nosič | papierová kniha |
Obal knihy | tvrdý |
Rok vydania | 2014 |
Opis
Type Theory and Formal Proof: An Introduction
Nederpelt Rob (Technische Universiteit Eindhoven The Netherlands) ,Geuvers Herman (Radboud Universiteit Nijmegen)
- Wydawca: Cambridge University Press
- Data wydania: 2014
- ISBN: 9781107036505
- Liczba stron: 466
- Format: 254 x 177 x 29
- Rodzaj oprawy:Hardback
Opis produktu:
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Toto označenie odlišuje najlepšie obchody na portáli Allegro. Pri nákupe od Super predajcu máte zaručený vynikajúci zákaznícky servis a skvelé nákupy.
Kupujete s Allegro Protect. Všetky nákupy s vrátením peňazí do 48 h. Zobraziť podrobnosti
98,9 %
Niektoré texty boli preložené automaticky. Dajte nám vedieť, ak ste si všimli jazykovú chybu.
Prezeráte si ponuky produktu Type Theory and Formal Proof Nederpelt Rob. Vidíte ponuku iného produktu? Nahláste nám to