Výběrem možnosti „Přijmout vše“ povolujete společnosti Rakuten Kobo a jejím partnerům používat soubory cookie, sledovací a podobné technologie ke shromažďování vašich osobních údajů a jejich zpracování pro následující účely: provozování webových stránek a služeb Kobo a zajištění jejich správného fungování, poskytování personalizovaného obsahu na stránkách Kobo a reklam pro Kobo na jiných platformách, měření analytických údajů a analýza toho, jak jsou naše webové stránky a služby používány. V opačném případě klikněte na „Odmítnout“ níže a odmítněte všechny jiné než základní účely nebo přejděte do Nastavení ochrany osobních údajů a spravujte své předvolby pro jednotlivé účely. Více informací naleznete v našich Ochrana osobních údajů.
A Practical Guide to Dependently Typed Programming and Formal Verification
Objevte neomezené čtení s Kobo Plus Read zdarma
Vyzkoušejte to zdarma po dobu 14 dní, pak zaplaťte jen 249,99 Kč za měsíc. Zrušte kdykoliv.
Zjistěte vícenebo
Kobo umožňuje milovníkům knih číst více.
Alev Coskun, Robert Johnson
83,25 Kč
nebo zdarma s Kobo PlusPhilip H. J. Davies, Kristian C. Gustafson, Philip H. J. Davies, Kristian C. Gustafson, Stephen Welch, Ralph D. Sawyer, Abdulaziz A. Al-Asmari, Robert Johnson, Carl Anthony Wege, Peter Gill, Lee Wilson, Ken Kotani, Emmanuel Kwesi Aning, Emma Birikorang, Ernest Ansah Lartey, Eduardo E. Estévez, Wilhelm Agrell, Lauri Holmström
693,89 Kč
nebo zdarma s Kobo PlusBuďte první, kdo knihu ohodnotí a napíše na ni recenzi.
Toby J. Teorey, Stephen Buxton, Lowell Fryman, Terry Halpin, Jan L. Harrington, William H. Inmon, Sam S. Lightstone, Jim Melton, Tony Morgan, Thomas P. Nadeau, Bonnie O'Neil, Elizabeth O'Neil, Patrick O'Neil, Markus Schneider, Graeme Simsion, Graham Witt, Ralf Hartmut Güting
1 538,99 Kč
Alan Shalloway, James R. Trott
1 088,99 Kč
Tim O'Brien
709,19 Kč
nebo zdarma s Kobo Plus
