Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.
A Practical Guide to Dependently Typed Programming and Formal Verification
Oplev ubegrænset læsning med Kobo Plus Read gratis
Prøv det gratis i 30 dage, og betal derefter kun 89,00 kr. om måneden. Annullér til enhver tid.
Lær mereeller
Kobo giver bogelskere mulighed for at læse mere.
Vær den første til at bedømme og anmelde denne bog!
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
657,05 kr.
Alan Shalloway, James R. Trott
464,95 kr.
Cuantum Technologies LLC
281,24 kr.
eller Gratis med Kobo PlusTim O'Brien
294,99 kr.
eller Gratis med Kobo Plus
