7 results
Type of media (2)
Availability (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Philipp Rümmer

  1. Cover: Theoretical Aspects of Software Engineering - Springer
    Philipp Rümmer | Zhilin Wu
    Theoretical Aspects of Software Engineering
    19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
    07/2025
    Springer
    9783031982088 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  2. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Ruzica Piskac | Philipp Rümmer
    Verified Software. Theories, Tools, and Experiments
    10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
    11/2018
    Springer
    9783030035921 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. This image is currently not available.
    Eva Darulova | Anthony W. Lin | Philipp Rümmer
    Computer Aided Verification
    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
    approx. 09/2026
    Springer
    9783032325365 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Not yet published
  4. This image is currently not available.
    Eva Darulova | Anthony W. Lin | Philipp Rümmer
    Computer Aided Verification
    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II
    approx. 09/2026
    Springer
    9783032325259 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Not yet published
  5. This image is currently not available.
    Eva Darulova | Anthony W. Lin | Philipp Rümmer
    Computer Aided Verification
    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
    approx. 09/2026
    Springer
    9783032325181 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Not yet published
  6. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Ruzica Piskac | Philipp Rümmer
    Verified Software. Theories, Tools, and Experiments
    10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
    11/2018
    Springer
    9783030035914 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Theoretical Aspects of Software Engineering - Springer
    Philipp Rümmer | Zhilin Wu
    Theoretical Aspects of Software Engineering
    19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
    07/2025
    Springer
    9783031982071 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days