Skip to main content

License single eBooks

Your results

More search possibilities.

Search and filter

Showing 1 - 1 Download list (.CSV)
Ordered by relevance

  • eBook: Computer Aided Verification
    978-3-319-63387-9
    2017, Edition 1
    Subjects: Computer Science Logic and Foundations of Programming
    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    Rupak Majumdar; Viktor Kunčak

    €100