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: Formal Methods
    978-3-031-71177-0
    2025, Edition 1
    Subjects: Software Engineering
    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
    Andre Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi
    Open Access.