Zhiming Liu

Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu · 2013
על הספר
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
פרטי הספר
- שנה
- 2013
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 4
- ISBN
- 9783642397189
מקור הנתונים: Wikidata
עוד של Zhiming Liu
Zhiming Liu

Engineering Trustworthy Software Systems
Zhiming Liu · 2016
Zhiming Liu

Foundations of Health Informatics Engineering and Systems
Zhiming Liu · 2012
Zhiming Liu

Formal methods and software engineering
Zhiming Liu · 2006
Zhiming Liu
History of Pushing Back Pictures
Zhiming Liu · 2024
Zhiming Liu
Research on Internationalization Construction of Colleges and Universities in the New Era
Zhiming Liu · 2024
Zhiming Liu

Mechanical and Electronics Engineering VI
Zhiming Liu · 2014
Zhiming Liu
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu · 2013
Zhiming Liu
Theories of Programming and Formal Methods
Zhiming Liu · 2013
Zhiming Liu
Automated Technology for Verification and Analysis
Zhiming Liu · 2009
Zhiming Liu
Mathematical Frameworks for Component Software
Zhiming Liu · 2006