Automated Technology for Verification and AnalysisZhiming Liu
Automated Technology for Verification and Analysis
Zhiming Liu, Anders P. Ravn · 2009
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2009
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783642047619
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
Formal methods and software engineeringZhiming Liu
Formal methods and software engineering
Zhiming Liu · 2006
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
Mathematical Frameworks for Component SoftwareZhiming Liu
Mathematical Frameworks for Component Software
Zhiming Liu · 2006