Ergebnisse filtern
-
- 6
-
- 1
- 1
- 2
- 2
-
- 6
-
- 3
- 3
-
- 6
-
- 6
-
- 6
Mathematik | Informatik
-
André / Wang / Zhan Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-954212-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jones / Wang / Zhan Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01460-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zhan / Wang / Zhao Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach1. Auflage 2017Verlag: SpringerISBN: 978-3-319-47014-6Medium: Buch123,04 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zhan / Wang / Zhao Formal Verification of Simulink/Stateflow Diagrams
A Deductive ApproachSoftcover Nachdruck of the original 1. Auflage 2017Verlag: SpringerISBN: 978-3-319-83638-6Medium: Buch123,04 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fränzle / Kapur / Zhan Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47676-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Pasareanu / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-90869-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
