Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)
115.64 EUR
Preis aktualisiert am: 13-05-2026 15:54:52
115.64 EUR
Preis aktualisiert am: 13-05-2026 15:54:52 
SpringerLink DE
Gesponsert Deductive Software Verification – The KeY Book
128.39 EUR
Preis aktualisiert am: 13-05-2026 14:29:38
128.39 EUR
Preis aktualisiert am: 13-05-2026 14:29:38 
Galaxus.de
Gesponsert Deductive Software Verification - The KeY Book, Fachbücher von Peter H. Schmitt, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Bernhard Beckert
128.39 EUR
Preis aktualisiert am: 13-05-2026 12:33:28
128.39 EUR
Preis aktualisiert am: 13-05-2026 12:33:28 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen.
