Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
96,29 € (inkl. MwSt.)
89,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-55582-5 (Buch)
- Erscheinungstermin: 06.08.2020
-
Lieferzeit ca. 10 Werktage
96,29 € (inkl. MwSt.)
89,99 € (zzgl. MwSt.)
Formal Methods. FM 2019 International Workshops
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-54996-1 (Buch)
- Erscheinungstermin: 11.08.2020
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
NASA Formal Methods
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-55753-9 (Buch)
- Erscheinungstermin: 09.08.2020
-
Lieferzeit ca. 10 Werktage
79,17 € (inkl. MwSt.)
73,99 € (zzgl. MwSt.)
Programming Languages and Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-34174-9 (Buch)
- Erscheinungstermin: 09.11.2019
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Verified Software. Theories, Tools, and Experiments
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-03591-4 (Buch)
- Erscheinungstermin: 24.11.2018
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Formal Methods: Foundations and Applications
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-03043-8 (Buch)
- Erscheinungstermin: 24.10.2018
-
Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Programming with Actors
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Birkhäuser
- ISBN: 978-3-030-00301-2 (Buch)
- Erscheinungstermin: 07.09.2018
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1