 |
|
|
|
| 21. |
|
Domain Modeling and the Duration Calculus
Chris George, Zhiming Liu, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
 |
| 22. |
|
Domain Modeling and the Duration Calculus
Chris George, Zhiming Liu, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 23. |
|
Formal Methods and Hybrid Real-Time Systems
Cliff B Jones, Zhiming Liu, Jim Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 24. |
|
Formal Methods and Hybrid Real-Time Systems
Cliff B Jones, Zhiming Liu, Jim Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 25. |
|
Theoretical Aspects of Computing - ICTAC 2007
Cliff B Jones, Zhiming Liu, Jones Woodcock
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2007.
|
|
| 26. |
|
Theoretical Aspects of Computing - ICTAC 2007
Cliff B Jones, Zhiming Liu, Jones Woodcock
E-bok. Springer Berlin Heidelberg, Tyskland, 2007.
|
|
| 27. |
|
Automated Technology for Verification and Analysis
Zhiming Liu, Anders P Ravn
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
| 28. |
|
Automated Technology for Verification and Analysis
Zhiming Liu, Anders P Ravn
E-bok. Springer Berlin Heidelberg, Tyskland, 2009.
|
|
| 29. |
|
Foundations of Health Informatics Engineering and Systems
Zhiming Liu, Alan Wassyng
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2012.
|
|
| 30. |
|
Foundations of Health Informatics Engineering and Systems
Zhiming Liu, Alan Wassyng
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
| 31. |
|
Theories of Programming and Formal Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2013.
|
|
| 32. |
|
Theories of Programming and Formal Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
E-bok. Springer Berlin Heidelberg, Tyskland, 2013.
|
|
| 33. |
|
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2013.
|
|
| 34. |
|
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu
E-bok. Springer Berlin Heidelberg, Tyskland, 2013.
|
|
| 35. |
|
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2013.
|
|
| 36. |
|
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
E-bok. Springer Berlin Heidelberg, Tyskland, 2013.
|
|
| 37. |
|
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Zhiming Liu, Jifeng He
Inbunden. World Scientific Publishing Co Pte Ltd, Singapore, 2006.
|
|
| 38. |
|
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Liu Zhiming Liu, He Jifeng He
E-bok. World Scientific Publishing Company, Singapore, 2006.
|
|
|
|
