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
719 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 069 kr
Skickas inom 10-15 vardagar