Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Edmund M. Clarke; Thomas A. Henzinger; Helmut Veith; Roderick Bloem
    978-3-319-10575-8
    2018
    Edition 1
    • Comprehensive introduction and overview of the key foundational topics
    • Excellent reference for researchers and graduate students engaged with formal methods and verification tools
    • Editors and authors among the world's leading researchers in this domain
    • Includes supplementary material: sn.pub/extras

    €260

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.