Deductive Software Verification: Future Perspectives
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
53.49 EUR
Preis aktualisiert am: 07-06-2026 07:32:02
53.49 EUR
Preis aktualisiert am: 07-06-2026 07:32:02 
SpringerLink DE
Gesponsert Deductive Software Verification: Future Perspectives
53.49 EUR
Preis aktualisiert am: 07-06-2026 03:34:44
53.49 EUR
Preis aktualisiert am: 07-06-2026 03:34:44 
Galaxus.de
Gesponsert Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Wolfgang Ahrendt, Richard Bubel
53.49 EUR
Preis aktualisiert am: 06-06-2026 14:54:19
53.49 EUR
Preis aktualisiert am: 06-06-2026 14:54:19 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Wolfgang Ahrendt
