Skip to main content

License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • eBook: Interactive Theorem Proving
    Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
    Marko Van Eekelen; Herman Geuvers; Julien Schmaltz; Freek Wiedijk
    978-3-642-22863-6
    2011
    Edition 1
    €100 €90
    10% OFF

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.