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
SpringerLink DE
Gesponsert Verification, Model Checking, and Abstract Interpretation
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:23:47
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:23:47 
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: 27-04-2026 13:24:26
53.49 EUR
Preis aktualisiert am: 27-04-2026 13:24:26 | 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.
