| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Engineering for Industrial Software Development: Using the SOFL Method | Taschenbuch | 978-3-642-05827-1 | 2010 |
| Formal Engineering for Industrial Software Development: Using the SOFL Method | Gebunden | 978-3-540-20602-6 | 2004 |
| Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 2008, ... Notes in Computer Science , Band 5256) | Taschenbuch | 978-3-540-88193-3 | 2008 |
| Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... Notes in Computer Science, Band 10009) | " | 978-3-319-47845-6 | 2016 | Kazuhiro Ogata · Mark Lawford |
| Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... Notes in Computer Science, Band 8979) | " | 978-3-319-17403-7 | 2015 | Zhenhua Duan |
| Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected ... Notes in Computer Science, Band 9559) | " | 978-3-319-31219-4 | 2016 | " |
| Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected ... Notes in Computer Science, Band 10189) | " | 978-3-319-57707-4 | 2017 | Zhenhua Duan · Cong Tian · Fumiko Nagoya |
| Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected ... Notes in Computer Science, Band 10795) | " | 978-3-319-90103-9 | 2018 | Cong Tian · Fumiko Nagoya · Zhenhua Duan |
| Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers | " | 978-3-642-39276-4 | 2013 |
| Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Notes in Computer Science, Band 8332) | " | 978-3-319-04914-4 | 2014 | Zhenhua Duan |