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: 04-11-2026 04:57:30
53.49 EUR
Preis aktualisiert am: 04-11-2026 04:57:30 
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: 02-11-2026 20:54:04
53.49 EUR
Preis aktualisiert am: 02-11-2026 20:54:04 
SpringerLink DE
Gesponsert Deductive Software Verification: Future Perspectives
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:52:55
59.00 EUR
Preis aktualisiert am: 03-11-2026 17:52:55 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Wolfgang Ahrendt
