Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Madeira / Knapp Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-77381-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wirsing / Knapp / Balsamo Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21179-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
ter Beek / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45942-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ernst / Güdemann / Knapp Go Where the Bugs Are
Essays Dedicated to Wolfgang Reif on the Occasion of His 65th BirthdayErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92195-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort