Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)Chao Wang
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Chao Wang · 2006
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 186
- ISBN
- 9780387341552
מקור הנתונים: Wikidata
עוד של Chao Wang
Combined Measure and Shift Invariance Theory of Time Scales and ApplicationsChao Wang
Combined Measure and Shift Invariance Theory of Time Scales and Applications
Chao Wang · 2022
Theory of Translation Closedness for Time ScalesChao Wang
Theory of Translation Closedness for Time Scales
Chao Wang · 2021
High Performance Computing for Big DataChao Wang
High Performance Computing for Big Data
Chao Wang · 2017
Abstraction Refinement for Large Scale Model CheckingChao Wang
Abstraction Refinement for Large Scale Model Checking
Chao Wang · 2006
Da Tong TheoryChao Wang
Da Tong Theory
Chao Wang · 2026
Domain-Specific Computer Architectures for Emerging ApplicationsChao Wang
Domain-Specific Computer Architectures for Emerging Applications
Chao Wang · 2024
Dynamic Equations and Almost Periodic Fuzzy Functions on Time ScalesChao Wang
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
Chao Wang · 2023
Local Well-Posedness and Break-Down Criterion of the Incompressible Euler Equations with Free BoundaryChao Wang
Local Well-Posedness and Break-Down Criterion of the Incompressible Euler Equations with Free Boundary
Chao Wang · 2021
San shi liu jiChao Wang
San shi liu ji
Chao Wang · 2015
Lun yuChao Wang
Lun yu
Chao Wang · 2015