Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 3
- 1
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Wehrheim / Leuschel Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00254-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonfanti / Gargantini / Scandurra Rigorous State-Based Methods
10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63789-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-17070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Derrick / Fitzgerald / Gnesi Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-30884-0Medium: 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