Formal methods and software engineeringZhiming Liu
Formal methods and software engineering
Zhiming Liu, Jifeng He · 2006
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 3
- עמודים
- 778
- ISBN
- 9783540474609
מקור הנתונים: Wikidata
עוד של 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