Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • LASER Summer School 2007/2008
    Peter Müller
    978-3-642-13010-6
    2010
    Edition 1
    • Software verification has seen tremendous progress during the last decade, it continues to be an active research topic
    • Materials from LASER summer Schools - Applied Software Verification (2007) and Concurrency and Correctness (2008)
    • Functions as a tutorial on software verification and correctness

    €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.