Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 4
- 1
- 1
- 1
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Qin Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Qiu / Qin Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings2011Verlag: SpringerISBN: 978-3-642-24558-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Qin / Ait-Ameur Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-32408-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Qin / Zhang / Woodcock Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91264-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
