En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.
A Practical Guide to Dependently Typed Programming and Formal Verification
Découvrez gratuitement la lecture en illimité avec Kobo Plus Read
Essayez gratuitement pendant 14 jours, puis payez seulement 11,99 € par mois. Résiliez à tout moment.
En savoir plusou
Kobo permet aux amateurs de livres de lire davantage.
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
56,74 €
Alan Shalloway, James R. Trott
45,41 €
Bran Selic, Sebastien Gerard
41,40 €
Tim O'Brien
25,02 €
ou Gratuit avec Kobo PlusSoyez la première personne à noter ce livre et à laisser un avis !
Alev Coskun, Robert Johnson
3,53 €
ou Gratuit avec 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
31,51 €
ou Gratuit avec Kobo Plus
