Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • eBook: Tests and Proofs
    13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
    Dirk Beyer; Chantal Keller
    978-3-030-31157-5
    2019
    Edition 1

    €100

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.