Philipp Rümmer – författare

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

5 produkter

1. 

   Verified Software. Theories, Tools, and Experiments

   10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

   Av Ruzica Piskac, Philipp Rümmer

   Häftad, 2018

   739 kr

   Lägg i varukorg

2. 

   Theoretical Aspects of Software Engineering

   19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings

   Av Philipp Rümmer, Zhilin Wu

   Häftad, 2025

   1099 kr

   Lägg i varukorg

3. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   599 kr

   Lägg i varukorg

4. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   599 kr

   Lägg i varukorg

5. 

   Computer Aided Verification

   38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III

   Av Eva Darulova, Anthony W. Lin m. fl.

   Häftad, 2026

   599 kr

   Lägg i varukorg