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 akzeptierenVerification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part II
- Springer Nature Switzerland
- 2024
- Taschenbuch
- 360 Seiten
- ISBN 9783031505201
Herausgeber: Rayna Dimitrova / Sebastian Wolff / Ori Lahav
70,61
€
inkl. MwSt.zzgl. Versand
in Kürze