Ergebnisse filtern
-
- 3
-
- 1
- 1
- 1
-
- 2
- 3
- 1
- 2
-
- 3
-
- 3
-
- 3
-
- 3
-
- 3
Mathematik Interdisziplinär
-
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
-
Aldini / Corradini / Bernardo A Process Algebraic Approach to Software Architecture Design
2010Verlag: SpringerISBN: 978-1-4471-5766-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Aldini / Bernardo / Corradini A Process Algebraic Approach to Software Architecture Design
2010. Auflage 2009Verlag: SpringerISBN: 978-1-84800-222-7Medium: 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
