Philipp Rümmer – författare

Visar alla böcker från författaren Philipp Rümmer.

5 produkter

Kategorier

5 produkter

Del 11294
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
AvRuzica Piskac,Philipp Rümmer
Häftad, Engelska, 2018
739 kr
Skickas inom 10-15 vardagar
Del 15841
Del 15841 - Lecture Notes in Computer Science
Theoretical Aspects of Software Engineering
19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings
AvPhilipp Rümmer,Zhilin Wu
Häftad, Engelska, 2025
1 099 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16682
Del 16682 - Lecture Notes in Computer Science
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
AvEva Darulova,Anthony W. Linm. fl.
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16683
Del 16683 - Lecture Notes in Computer Science
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
AvEva Darulova,Anthony W. Linm. fl.
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Nyhet
Del 16684
Del 16684 - Lecture Notes in Computer Science
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
AvEva Darulova,Anthony W. Linm. fl.
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar