bib.howest.be Zoekresultaten

U zocht naar: Auteur Zhiming Liu

« Vorige | 1 - 10 van 19 | Volgende »

1. Engineering Trustworthy Software Systems

Auteur:: Bowen; Zhiming Liu; Zili Zhang; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Engineering Trustworthy Software Systems

Auteur:: Zhiming Liu, Zili Zhang; Zhang, Zili
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Formal Aspects of Component Software

Auteur:: JosÃ© Luiz Fiadeiro, Zhiming Liu, Jinyun Xue; Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun
Uitgever:: Springer International Publishing 2014
Type:: e-book

4. Dependable Software Engineering: Theories, Tools, and Applications

Auteur:: Li; Liu, Zhiming; Yi, Wang
Uitgever:: Springer International Publishing 2015
Type:: e-book

5. Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Auteur:: Bowen; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2020
Type:: e-book

6. Unifying Theories of Programming and Formal Engineering Methods

Auteur:: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

7. Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Auteur:: Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming
Uitgever:: Singapore Springer 2025
Type:: e-book

8. Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Auteur:: Seidl, Helmut.; Liu, Zhiming; Pasareanu, Corina S.
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

9. Engineering Trustworthy Software Systems

Auteur:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2017
Type:: e-book

10. Engineering Trustworthy Software Systems

Auteur:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2019
Type:: e-book