Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-75379-4 (Buch)
- Erscheinungstermin: 30.10.2024
- Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
Euro-Par 2024: Parallel Processing
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-69582-7 (Buch)
- Erscheinungstermin: 26.08.2024
- Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
Integrated Formal Methods
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-76553-7 (Buch)
- Erscheinungstermin: 13.11.2024
- Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
Computer Vision ¿ ECCV 2024
87,73 € (inkl. MwSt.)
81,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-73241-6 (Buch)
- Erscheinungstermin: 29.10.2024
- Lieferzeit ca. 10 Werktage
87,73 € (inkl. MwSt.)
81,99 € (zzgl. MwSt.)
Document Analysis Systems
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-70441-3 (Buch)
- Erscheinungstermin: 11.09.2024
- Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
Pattern Recognition
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-78443-9 (Buch)
- Erscheinungstermin: 04.12.2024
- Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
Automated Technology for Verification and Analysis
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-78708-9 (Buch)
- Erscheinungstermin: 01.02.2025
- Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
Advances in Cryptology ¿ CRYPTO 2024
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-68387-9 (Buch)
- Erscheinungstermin: 17.08.2024
- Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
Formal Methods for Industrial Critical Systems
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-68149-3 (Buch)
- Erscheinungstermin: 21.08.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Verification, Model Checking, and Abstract Interpretation
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-82702-0 (Buch)
- Erscheinungstermin: 23.01.2025
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)