Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • eBook: Model Checking Software
    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    Alfons Laarman; Ana Sokolova
    978-3-030-84629-9
    2021
    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.