bib.howest.be Zoekresultaten

U zocht naar: Auteur Shaoying Liu

1 - 10 van 10

1. Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Auteur:: Shaoying Liu
Uitgever:: Springer Nature 2025
Type:: e-book

2. Structured Object-Oriented Formal Language and Method

Auteur:: Shaoying Liu, Zhenhua Duan; Duan, Zhenhua
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Structured Object-Oriented Formal Language and Method

Auteur:: Shaoying Liu, Zhenhua Duan; Duan, Zhenhua
Uitgever:: Springer International Publishing 2014
Type:: e-book

4. Structured Object-Oriented Formal Language and Method

Auteur:: Tian; Fumiko Nagoya; Shaoying Liu; Zhenhua Duan; Duan, Zhenhua; Liu, Shaoying; Nagoya, Fumiko
Uitgever:: Springer International Publishing 2018
Type:: e-book

5. Formal Methods and Software Engineering

Auteur:: Ogata; Lawford, Mark; Liu, Shaoying
Uitgever:: Springer International Publishing 2016
Type:: e-book

6. Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Auteur:: Liu, Shaoying.; Duan, Zhenhua; Liu, Ai
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

7. Structured Object-Oriented Formal Language and Method

Auteur:: Miao; Duan, Zhenhua; Liu, Shaoying; Tian, Cong
Uitgever:: Springer International Publishing 2020
Type:: e-book

8. Structured Object-Oriented Formal Language and Method

Auteur:: Duan; Liu, Shaoying; Nagoya, Fumiko; Tian, Cong
Uitgever:: Springer International Publishing 2019
Type:: e-book

9. Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Auteur:: Xue, Jinyun; Duan, Zhenhua; Liu, Shaoying; Nagoya, Fumiko
Uitgever:: Springer International Publishing 2021
Type:: e-book

10. Formal Methods and Software Engineering

Auteur:: Liu, Shaoying; Araki, Keijiro; Kanade, Takeo; Maibaum, Tom; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book