Philipp Rümmer – författare
Visar alla böcker från författaren Philipp Rümmer.
2 produkter
2 produkter
Del 11294 - Lecture Notes in Computer Science
Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Del 15841 - Lecture Notes in Computer Science
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
Häftad, Engelska, 2025
1 089 kr
Skickas inom 10-15 vardagar