Ergebnisse filtern
-
- 18
-
- 5
- 7
- 4
- 2
-
- 2
- 14
- 2
-
- 18
-
- 18
-
- 18
Mathematik | Informatik
-
Liu Formal Engineering for Industrial Software Development
Using the SOFL MethodSoftcover Nachdruck of hardcover 1. Auflage 2004Verlag: SpringerISBN: 978-3-642-05827-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu Software Fault Prevention, Verification, and Validation
First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-961620-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu Formal Engineering for Industrial Software Development
Using the SOFL Method1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20602-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu Agile-SOFL
Agile Formal Engineering MethodErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-97-2287-7Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-39276-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu Agile-SOFL
Agile Formal Engineering Method2024Verlag: Springer Nature SingaporeISBN: 978-981-97-2284-6Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duan / Liu Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duan / Liu Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-04914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duan / Liu Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-31219-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-29475-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Maibaum / Araki Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88193-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ogata / Liu / Lawford Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47845-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duan / Nagoya / Liu Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers1. Auflage 2019Verlag: Springer Nature SwitzerlandISBN: 978-3-030-13650-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Xue / Nagoya / Liu Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-77473-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Nagoya / Duan Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-57707-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ogata / Liu / Mery Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer Nature SingaporeISBN: 978-981-960616-0Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tian / Duan / Nagoya Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-90103-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Miao / Duan / Tian Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-41417-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
