Search

You searched for: Auteur Zhiming Liu Remove constraint Auteur: Zhiming Liu
« Previous | 1 - 10 of 19 |
Number of results to display per page

Search Results

1. Engineering Trustworthy Software Systems
thumbnail
Full text!
Author:
Bowen; Zhiming Liu; Zili Zhang; Liu, Zhiming; Zhang, Zili
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Engineering Trustworthy Software Systems
thumbnail
Full text!
Author:
Zhiming Liu, Zili Zhang; Zhang, Zili
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Formal Aspects of Component Software
thumbnail
Full text!
Author:
José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue; Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun
Publisher:
Springer International Publishing 2014
Format:
e-book
4. Dependable Software Engineering: Theories, Tools, and Applications
thumbnail
Full text!
Author:
Li; Liu, Zhiming; Yi, Wang
Publisher:
Springer International Publishing 2015
Format:
e-book
5. Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
thumbnail
Full text!
Author:
Bowen; Liu, Zhiming; Zhang, Zili
Publisher:
Springer International Publishing 2020
Format:
e-book
6. Unifying Theories of Programming and Formal Engineering Methods
thumbnail
Full text!
Author:
Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
7. Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
thumbnail
Full text!
Author:
Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming
Publisher:
Singapore Springer 2025
Format:
e-book
8. Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
thumbnail
Full text!
Author:
Seidl, Helmut.; Liu, Zhiming; Pasareanu, Corina S.
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
9. Engineering Trustworthy Software Systems
thumbnail
Full text!
Author:
Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Publisher:
Springer International Publishing 2019
Format:
e-book
10. Engineering Trustworthy Software Systems
thumbnail
Full text!
Author:
Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Publisher:
Springer International Publishing 2017
Format:
e-book