Static AnalysisAgostino Cortesi
Static Analysis
Agostino Cortesi, Gilberto File · 2014
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
- 2014
- Publisher
- Springer
- Editions
- 1
- Pages
- 370
- ISBN
- 9783662201237
Data source: Wikidata
More by Agostino Cortesi
Static analysisAgostino Cortesi
Static analysis
Agostino Cortesi · 1999
Verification, Model Checking, and Abstract InterpretationAgostino Cortesi
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi · 2002
Space Data ManagementAgostino Cortesi
Space Data Management
Agostino Cortesi · 2025