Verification Model Checking and Abstract Interpretation
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea
53.49 EUR
Preis aktualisiert am: 29-07-2026 02:32:39
53.49 EUR
Preis aktualisiert am: 29-07-2026 02:32:39 
SpringerLink DE
Gesponsert Verification, Model Checking, and Abstract Interpretation
59.00 EUR
Preis aktualisiert am: 29-07-2026 07:18:44
59.00 EUR
Preis aktualisiert am: 29-07-2026 07:18:44 | Bezeichner | |
|---|---|
| ISBN | Springer-Verlag GmbH 3030112446 |
| MPN | Springer-Verlag GmbH 35014535 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Die Springer-Verlag GmbH ist ein deutscher Verlag, der vor allem wissenschaftliche und medizinische Fachzeitschriften publiziert. Das Unternehmen wurde 1946 von Kurt und Heinrich Springer gegründet. Heute gehört die Springer-Verlag GmbH zur Axel Springer SE.
