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: Verified Software. Theories, Tools and Experiments
    978-3-031-66064-1
    2024, Edition 1
    Subjects: Computer Science Logic and Foundations of Programming
    15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
    Andrew Reynolds; Serdar Tasiran

    €100