Liebe Besucherinnen und Besucher,
heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien
Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 4
- 1
- 1
- 1
-
- 2
- 2
-
- 4
-
- 4
-
- 4
-
- 4
EDV | 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
