Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Dimitrova, Rayna / Sebastian Wolff et al (Hrsg.). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part I. Springer Nature Switzerland, 2024.](https://eichendorff21.de/cdata/m0BU0nhuxhKuPM9jPkYADC7gANc=/300x0/9783031505232.png)
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part I
- Springer Nature Switzerland
- 2024
- Taschenbuch
- 372 Seiten
- ISBN 9783031505232
Herausgeber: Rayna Dimitrova / Sebastian Wolff / Ori Lahav
70,61
€
inkl. MwSt.zzgl. Versand
in Kürze