Deductive Software Verification - The KeY Book
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Deductive Software Verification – The KeY Book
113.50 EUR
Preis aktualisiert am: 26-07-2026 08:08:36
113.50 EUR
Preis aktualisiert am: 26-07-2026 08:08:36 
Gesponsert Deductive Software Verification - The KeY Book
117.49 EUR
Preis aktualisiert am: 26-07-2026 18:58:16
117.49 EUR
Preis aktualisiert am: 26-07-2026 18:58:16 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Springer International Publishing
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.
