Shaoying Liu | Akateeminen Kirjakauppa

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008,

Liu, Shaoying; Maibaum, Tom; Araki, Keijiro
Springer
2008
Pehmeäkantinen kirja

63,10 €

Formal Engineering for Industrial Software Development - Using the SOFL Method

Liu, Shaoying
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Kovakantinen kirja

63,10 €

Formal Engineering for Industrial Software Development - Using the SOFL Method

Liu, Shaoying
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November

Liu, Shaoying
Springer
2013
Pehmeäkantinen kirja

58,10 €

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New

Liu, Shaoying; Duan, Zhenhua
Springer
2014
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, Nove

Liu, Shaoying; Duan, Zhenhua
Springer International Publishing AG
2015
Pehmeäkantinen kirja

50,80 €

Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November

Liu, Shaoying; Duan, Zhenhua
Springer
2016
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November

Liu, Shaoying; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko
Springer
2017
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October

Liu, Shaoying; Duan, Zhenhua; Liu, Ai
Springer
2023
Pehmeäkantinen kirja

69,20 €

Structured Object-Oriented Formal Language and Method - Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 201

Liu, Shaoying
Springer
2013
Pehmeäkantinen kirja

139,70 €

Agile-SOFL - Agile Formal Engineering Method

Liu, Shaoying
Springer Verlag, Singapore
2024
Kovakantinen kirja

186,90 €

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan,

Liu, Shaoying
Springer
2025
Pehmeäkantinen kirja

72,90 €

Agile-SOFL - Agile Formal Engineering Method

Liu, Shaoying
Springer
2025
Pehmeäkantinen kirja

148,90 €

Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan,

Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying
Springer International Publishing AG
2016
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November

Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia,

Duan, Zhenhua; Liu, Shaoying; Tian, Cong; Nagoya, Fumiko
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China,

Miao, Huaikou; Tian, Cong; Liu, Shaoying; Duan, Zhenhua
Springer
2020
Pehmeäkantinen kirja

63,10 €

Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1,

Xue, Jinyun; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2021
Pehmeäkantinen kirja

63,10 €

Mathematics in Software Reliability and Quality Assurance

Dohi, Tadashi (toim.); Liu, Shaoying (toim.)
Mdpi AG
2022
Kovakantinen kirja

87,50 €

Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024,

Ogata, Kazuhiro; Mery, Dominique; Sun, Meng; Liu, Shaoying
Springer
2024
Pehmeäkantinen kirja

82,70 €