Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Computer Aided Verification: 24th International Conference, C.A.V. 2012, Berkeley, Ca, U.S.A., July 7-13, 2012 Proceedings (Lecture Notes in Computer ... Issues) (Lecture Notes in Computer Science)
53.49 EUR
Preis aktualisiert am: 23-08-2026 04:32:21
53.49 EUR
Preis aktualisiert am: 23-08-2026 04:32:21 
SpringerLink DE
Gesponsert Computer Aided Verification
54.99 EUR
Preis aktualisiert am: 23-08-2026 07:05:10
54.99 EUR
Preis aktualisiert am: 23-08-2026 07:05:10 | Bezeichner | |
|---|---|
| MPN | Springer-Verlag GmbH 192 black & white illustrations, biograp |
| ISBN | Springer-Verlag GmbH 9783642314230 |
| 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.
