 |
|
|
|
| 1. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer Nature Switzerland AG, Schweiz, 2018.
|
 |
| 2. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2018.
|
|
| 3. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer Nature Switzerland AG, Schweiz, 2019.
|
|
| 4. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2019.
|
|
| 5. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer Nature Switzerland AG, Schweiz, 2020.
|
|
| 6. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2020.
|
|
| 7. |
|
Theoretical Aspects of Computing ICTAC 2022
Helmut Seidl, Zhiming Liu, Corina S Pasareanu
Häftad. Springer International Publishing AG, Schweiz, 2022.
|
|
| 8. |
|
Theoretical Aspects of Computing - ICTAC 2022
Helmut Seidl, Zhiming Liu, Corina S Pasareanu
E-bok. Springer International Publishing, Schweiz, 2022.
|
|
| 9. |
|
Formal Aspects of Component Software
Jos Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Häftad. Springer International Publishing AG, Schweiz, 2014.
|
|
| 10. |
|
Formal Aspects of Component Software
Jose Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
E-bok. Springer International Publishing, Schweiz, 2014.
|
|
| 11. |
|
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad. Springer International Publishing AG, Schweiz, 2015.
|
|
| 12. |
|
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
E-bok. Springer International Publishing, Schweiz, 2015.
|
|
| 13. |
|
Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang
Häftad. Springer International Publishing AG, Schweiz, 2016.
|
|
| 14. |
|
Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2016.
|
|
| 15. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
Häftad. Springer International Publishing AG, Schweiz, 2017.
|
|
| 16. |
|
Engineering Trustworthy Software Systems
Jonathan P Bowen, Zhiming Liu, Zili Zhang
E-bok. Springer International Publishing, Schweiz, 2017.
|
|
| 17. |
|
Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu, Keijiro Araki
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2005.
|
|
| 18. |
|
Theoretical Aspects of Computing - ICTAC 2004
Zhiming Liu, Keijiro Araki
E-bok. Springer Berlin Heidelberg, Tyskland, 2005.
|
|
| 19. |
|
Formal Methods and Software Engineering
Zhiming Liu, Jifeng He
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2006.
|
|
| 20. |
|
Formal Methods and Software Engineering
Zhiming Liu, Jifeng He
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
|
|
|
