Ergebnisse filtern
-
- 5
- 4
-
- 2
- 3
- 4
-
- 9
-
- 4
- 5
-
- 9
-
- 9
-
- 9
-
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: Springer International PublishingISBN: 978-3-319-47677-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Jones / Wang / Zhan Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th BirthdayErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-01461-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Jones / Zhan / Wang Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday1. Auflage 2018Verlag: Springer International PublishingISBN: 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: Springer International PublishingISBN: 978-3-319-47016-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar
-
Huisman / Zhan / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-90869-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zhan / Zhao / Wang Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-47014-6Medium: Buch123,04 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zhan / Zhao / Wang Formal Verification of Simulink/Stateflow Diagrams
A Deductive ApproachSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-83638-6Medium: Buch123,04 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fränzle / Zhan / Kapur Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 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: Springer International PublishingISBN: 978-3-030-90870-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
