Shaoying Liu

Popular items by Shaoying Liu

View all offers

Formal Engineering for Industrial Software Development: Using the SOFL Method
Liu, Shaoying

Item prices starting from

� 36.27

View 21 offers

Also find
New, Used
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected ... (Lecture Notes in Computer Science, 7787)

Item prices starting from

� 38.53

View 13 offers

Also find
New, Used
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings: 15393 (Lecture Notes in Computer Science,...

Item prices starting from

� 52.13

View 9 offers

Also find
New
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, ... (Lecture Notes in Computer Science, 10009)

Item prices starting from

� 50.62

View 13 offers

Also find
New, Used
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... (Lecture Notes in Computer Science, 8979)

Item prices starting from

� 34.23

View 15 offers

Also find
New, Used
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected ... (Lecture Notes in Computer Science, 10189)

Item prices starting from

� 41.38

View 11 offers

Also find
New
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers: 12723 (Lecture Notes in Computer Science, 12723)

Item prices starting from

� 41.38

View 16 offers

Also find
New, Used
Software Fault Prevention, Verification, and Validation: Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings (Lecture Notes in Computer Science, 16356)

Item prices starting from

� 63.21

View 5 offers

Also find
New

You've viewed 8 of 10 titles