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
53.49 EUR
Preis aktualisiert am: 15-09-2026 22:23:25
53.49 EUR
Preis aktualisiert am: 15-09-2026 22:23:25 
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: 17-09-2026 20:21:21
53.49 EUR
Preis aktualisiert am: 17-09-2026 20:21:21 
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: 19-09-2026 14:45:19
53.49 EUR
Preis aktualisiert am: 19-09-2026 14:45:19 
SpringerLink DE
Gesponsert Deductive Software Verification: Future Perspectives
59.00 EUR
Preis aktualisiert am: 19-09-2026 16:19:30
59.00 EUR
Preis aktualisiert am: 19-09-2026 16:19:30 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Wolfgang Ahrendt
