Ergebnisse filtern
-
- 17
- 16
-
- 8
- 17
- 3
- 2
- 3
-
- 4
- 27
- 2
-
- 33
-
- 33
-
- 33
-
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 Agile-SOFL
Agile Formal Engineering Method2024Verlag: Springer Nature SingaporeISBN: 978-981-97-2284-6Medium: Buch181,89 € (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 PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39277-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
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 Formal Engineering for Industrial Software Development
Using the SOFL MethodErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-662-07287-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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 Software Fault Prevention, Verification, and Validation
First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer SingaporeISBN: 978-981-961621-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar
-
Liu Agile-SOFL
Agile Formal Engineering Method1. Auflage 2024Verlag: Springer SingaporeISBN: 978-981-97-2285-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark181,89 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Liu / Duan 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-31220-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-17404-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar
-
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
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-04915-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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-29476-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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
-
Liu / Maibaum / Araki Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-88194-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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 / Lawford / Liu 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-47846-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Duan / Liu / Tian Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected PapersErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-13651-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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: Springer International PublishingISBN: 978-3-030-77474-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Miao / Tian / Liu Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected PapersErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-41418-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
