Non abbiamo ancora una biografia di Agostino Cortesi.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Advanced Computing and Systems for Security
2021
Verification, Model Checking, and Abstract Interpretation
2014
Static analysis
2003
Applied Computing for Software and Smart Systems
2025
Space Data Management
Hyper-lattice Algebraic Model for Data Warehousing
2016
Challenges of Software Verification
2024
Smart Systems and Wireless Communication
Computer Information Systems and Industrial Management
2012
Computer Information Systems - Analysis and Technologies
2011
Otium
