Interactive Theorem Proving in Software Engineering
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Interactive Theorem Proving in Software Engineering, Fachbücher von Florian Kammüller
49.00 EUR
Preis aktualisiert am: 13-05-2026 11:09:53
49.00 EUR
Preis aktualisiert am: 13-05-2026 11:09:53 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
VDM Verlag Dr. Mueller E.K.
VDM Verlag Dr. Mueller E.K. ist ein deutscher Verlag, der sich auf die Veröffentlichung von Fachliteratur spezialisiert hat. Das Unternehmen wurde im Jahr 1990 gegründet und hat seinen Sitz in Saarbrücken.
VDM Verlag Dr. Mueller E.K. ist ein deutscher Verlag, der sich auf die Veröffentlichung von Fachliteratur spezialisiert hat. Das Unternehmen wurde im Jahr 1990 gegründet und hat seinen Sitz in Saarbrücken.
