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)
49.98 EUR
Preis aktualisiert am: 22-04-2026 17:35:53
49.98 EUR
Preis aktualisiert am: 22-04-2026 17:35:53 
SpringerLink DE
Gesponsert Deductive Software Verification: Future Perspectives
53.49 EUR
Preis aktualisiert am: 22-04-2026 21:49:52
53.49 EUR
Preis aktualisiert am: 22-04-2026 21:49:52 
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: 22-04-2026 21:52:58
53.49 EUR
Preis aktualisiert am: 22-04-2026 21:52:58 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Wolfgang Ahrendt
