Deductive Software Verification: Future Perspectives
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Reiner Hähnle, Wolfgang Ahrendt, Mattias Ulbrich, Richard Bubel
53.49 EUR
Preis aktualisiert am: 26-07-2026 05:38:32
53.49 EUR
Preis aktualisiert am: 26-07-2026 05:38:32 
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: 26-07-2026 14:13:17
53.49 EUR
Preis aktualisiert am: 26-07-2026 14:13:17 
SpringerLink DE
Gesponsert Deductive Software Verification: Future Perspectives
59.00 EUR
Preis aktualisiert am: 26-07-2026 08:09:33
59.00 EUR
Preis aktualisiert am: 26-07-2026 08:09:33 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Wolfgang Ahrendt
