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: Verification, Model Checking, and Abstract Interpretation
    978-3-319-73721-8
    2018, Edition 1
    Subjects: Computer Science Logic and Foundations of Programming
    19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    Isil Dillig; Jens Palsberg

    €100