Zhiming Liu
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
21
Mathematical Frameworks for Component Software
Theoretical Aspects of Computing - ICTAC 2022
Formal methods and software engineering
Domain Modeling and the Duration Calculus
Foundations of Health Informatics Engineering and Systems
Theoretical Aspects of Computing -- ICTAC 2013
Bioreactors
Dependable Software Engineering : Theories, Tools, and Applications
Mai lun
Theories of Programming and Formal Methods
Formal Aspects of Component Software
Mechanical and Electronics Engineering VI
Theoretical Aspects of Computing - ICTAC 2007
Zhongguo te se she hui zhu yi she hui jian she
Automated Technology for Verification and Analysis
