Agostino Cortesi
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryCI
Computer Information Systems and Industrial Management
cover - Image source: Open LibraryPO
Proceedings of International Conference on Computational Intelligence and Data Engineering
cover - Image source: Open LibraryHA
Hyper-lattice Algebraic Model for Data Warehousing
cover - Image source: Open LibraryAC
Advanced Computing and Systems for Security
cover - Image source: Open LibrarySA
Static Analysis
cover - Image source: Open LibraryVM
Verification, Model Checking, and Abstract Interpretation
cover - Image source: Open LibraryVM
Verification, model checking, and abstract interpretation
cover - Image source: Open LibrarySA
Static analysis
cover - SDSpace Data ManagementAgostino Cortesi
Space Data Management
no cover - COChallenges of Software Verifica...Agostino Cortesi
Challenges of Software Verification
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Computer Information Systems and Industrial Management
- Open Work
Proceedings of International Conference on Computational Intelligence and Data Engineering
- Open Work
Hyper-lattice Algebraic Model for Data Warehousing
- Open Work
Advanced Computing and Systems for Security
- Open Work
Static Analysis
- Open Work
Verification, Model Checking, and Abstract Interpretation
- Open Work
Verification, model checking, and abstract interpretation
- Open Work
Static analysis
- Open Work
Space Data Management
- Open Work
Challenges of Software Verification