Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
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 Kim Gulstrand Larsen, Deepak D'Souza, Akash Lal
53.49 EUR
Preis aktualisiert am: 28-07-2026 12:46:05
53.49 EUR
Preis aktualisiert am: 28-07-2026 12:46:05 
SpringerLink DE
Gesponsert Verification, Model Checking, and Abstract Interpretation
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:48
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:48 | Bezeichner | |
|---|---|
| MPN | Springer-Verlag GmbH 23438704 |
| ISBN | Springer-Verlag GmbH 3662460807 |
| 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.
