Search

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

Search Results

1. Dependable Software Engineering: Theories, Tools, and Applications
thumbnail
Full text!
Author:
Li; Liu, Zhiming; Yi, Wang
Publisher:
Springer International Publishing 2015
Format:
e-book
2. 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
3. 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
4. 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
5. 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
6. 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
7. Engineering Trustworthy Software Systems
thumbnail
Full text!
Author:
Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Publisher:
Springer International Publishing 2019
Format:
e-book
8. Engineering Trustworthy Software Systems
thumbnail
Full text!
Author:
Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Publisher:
Springer International Publishing 2017
Format:
e-book
9. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Liu, Zhiming; He, Jifeng; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
10. Theoretical Aspects of Computing - ICTAC 2004
thumbnail
Full text!
Author:
Liu, Zhiming; Araki, Keijiro; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book