Agostino Cortesi
Agostino Cortesi
4 ספרים במאגר
ספרים
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
Static AnalysisAgostino Cortesi
Static Analysis
Agostino Cortesi · 2014
ספרים משותפים ואוספים
ספרים שבהם Agostino Cortesi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Advanced Computing and Systems for SecurityRituparna Chaki
Advanced Computing and Systems for Security
Rituparna Chaki · 2021
Hyper-lattice Algebraic Model for Data WarehousingSoumya Sen
Hyper-lattice Algebraic Model for Data Warehousing
Soumya Sen · 2016
Applied Computing for Software and Smart SystemsRituparna Chaki
Applied Computing for Software and Smart Systems
Rituparna Chaki · 2025
Smart Systems and Wireless CommunicationRituparna Chaki
Smart Systems and Wireless Communication
Rituparna Chaki · 2025
Challenges of Software VerificationVincenzo Arceri
Challenges of Software Verification
Vincenzo Arceri · 2024
Computer Information Systems - Analysis and TechnologiesNabendu Chaki
Computer Information Systems - Analysis and Technologies
Nabendu Chaki · 2011