By selecting "Accept All", you permit Rakuten Kobo and its partners to use cookies, tracking and similar technologies to collect your personal data and process it for the following purposes: to operate the website and Kobo services and ensure they work properly, to deliver you personalized content on Kobo and advertisements for Kobo on other platforms, and to measure analytics and analyze how our website and services are being used. Otherwise, please click on "Decline" below to reject all non-essential purposes or view "Privacy Settings" to manage your preferences for each purpose. For more information, please read our Privacy Policy.
A Practical Guide to Dependently Typed Programming and Formal Verification
Discover unlimited reading with Kobo Plus Read for free
Try it for free for 14 days, then pay only 9,99 € a month. Cancel anytime.
Learn moreor
Kobo empowers book lovers to read more.
Alev Coskun, Robert Johnson
3,63 €
or Free with 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
32,43 €
or Free with Kobo PlusBe the first to rate and review this book!
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,70 €
Alan Shalloway, James R. Trott
46,74 €
Bran Selic, Sebastien Gerard
41,44 €
Tim O'Brien
25,75 €
or Free with Kobo Plus
