Shaoying Liu | Akateeminen Kirjakauppa

Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-Cit

Liu, Shaoying; Maibaum, Tom; Araki, Keijiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Formal Engineering for Industrial Software Development - Using the SOFL Method

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

51,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

51,10 €

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

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

47,20 €

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

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

51,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

41,20 €

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

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

51,10 €

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

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

51,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

56,10 €

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

Liu, Shaoying
Springer
2013
Pehmeäkantinen kirja

117,00 €

Agile-SOFL - Agile Formal Engineering Method

Liu, Shaoying
Springer Verlag, Singapore
2024
Kovakantinen kirja

155,50 €

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

Liu, Shaoying
Springer
2025
Pehmeäkantinen kirja

66,10 €

Agile-SOFL - Agile Formal Engineering Method

Liu, Shaoying
Springer
2025
Pehmeäkantinen kirja

120,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

51,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

51,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

51,10 €

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

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

51,10 €

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

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

51,10 €

Mathematics in Software Reliability and Quality Assurance

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

72,60 €

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

76,00 €