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-642-02658-4
    2009, Edition 1
    Subjects: Programming Techniques
    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Ahmed Bouajjani; Oded Maler

    €180