Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • With Isabelle/HOL
    Tobias Nipkow; Gerwin Klein
    978-3-319-10542-0
    2014
    Edition 1
    • Suitable for graduate students and researchers in theoretical computer science and logic
    • Teaches reader the art of precise logical reasoning and the practical use of a proof assistant
    • Represents a formal approach to computer science, not just semantics
    • Includes supplementary material: sn.pub/extras

    €419

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.