Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 4
- 1
- 1
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Cimatti / Titolo Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings2023Verlag: SpringerISBN: 978-3-031-43680-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cimatti / Sirjani Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66196-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
