Formal methods and software engineeringZhiming Liu
Formal methods and software engineering
Zhiming Liu, Jifeng He · 2006
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2006
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 778
- ISBN
- 9783540474609
Data source: Wikidata
More by Zhiming Liu
Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu · 2013
Engineering Trustworthy Software SystemsZhiming Liu
Engineering Trustworthy Software Systems
Zhiming Liu · 2016
Foundations of Health Informatics Engineering and SystemsZhiming Liu
Foundations of Health Informatics Engineering and Systems
Zhiming Liu · 2012
History of Pushing Back PicturesZhiming Liu
History of Pushing Back Pictures
Zhiming Liu · 2024
Research on Internationalization Construction of Colleges and Universities in the New EraZhiming Liu
Research on Internationalization Construction of Colleges and Universities in the New Era
Zhiming Liu · 2024
Mechanical and Electronics Engineering VIZhiming Liu
Mechanical and Electronics Engineering VI
Zhiming Liu · 2014
Unifying Theories of Programming and Formal Engineering MethodsZhiming Liu
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu · 2013
Theories of Programming and Formal MethodsZhiming Liu
Theories of Programming and Formal Methods
Zhiming Liu · 2013
Automated Technology for Verification and AnalysisZhiming Liu
Automated Technology for Verification and Analysis
Zhiming Liu · 2009
Mathematical Frameworks for Component SoftwareZhiming Liu
Mathematical Frameworks for Component Software
Zhiming Liu · 2006