Ergebnisse filtern
-
- 8
-
- 2
- 1
- 1
- 1
- 2
- 1
-
- 4
- 2
- 1
- 1
-
- 7
- 1
-
- 8
-
- 8
-
- 8
EDV | Informatik
-
Hayes / Fitzgerald FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27882-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Lucas / Jones FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63533-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Verhoef / Larsen Collaborative Design for Embedded Systems
Co-modelling and Co-simulationSoftcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-662-52444-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Verhoef / Larsen Collaborative Design for Embedded Systems
Co-modelling and Co-simulation2014Verlag: SpringerISBN: 978-3-642-54117-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Philippou / Heitmeyer FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-48988-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Larsen / Verhoef Validated Designs for Object-oriented Systems
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-84996-943-7Medium: Buch74,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitzgerald / Larsen / Mukherjee Validated Designs for Object-Oriented Systems
2005. Auflage 2005Verlag: Springer Nature SingaporeISBN: 978-1-85233-881-7Medium: Buch74,85 € (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