Liebe Besucherinnen und Besucher,
heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien
-
- 10
-
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
-
- 5
- 3
- 2
-
- 8
- 2
-
- 10
-
- 10
-
- 10
Mathematik | 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 / Larsen / Gomes The Engineering of Digital Twins
2024Verlag: Springer International PublishingISBN: 978-3-031-66718-3Medium: Buch192,59 € (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: SpringerISBN: 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 -
Bicarregui / Fitzgerald / Ritchie Proof in VDM: A Practitioner's Guide
Softcover Nachdruck of the original 1. Auflage 1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19813-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular