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-71162-6
    2025, Edition 1
    Subjects: Software Engineering
    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
    André Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi
    Open Access.