Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 Download list (.CSV)
Ordered by relevance
0 eBooks €0
View basket
  • eBook: Computer Aided Verification
    978-3-319-41540-6
    2016, Edition 1
    Subjects: Computer Science Logic and Foundations of Programming

    Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
    Swarat Chaudhuri; Azadeh Farzan

    €100