Luca Aceto
Luca Aceto
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
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMA
Models, Algorithms, Logics and Tools
cover - Image source: Open LibraryAL
Automata, Languages and Programming
cover - Image source: Open LibraryAL
Automata, Languages and Programming
cover - Image source: Open LibraryRS
Reactive systems
cover - Image source: Open LibraryRS
Reactive systems
cover - Image source: Open LibraryAR
Action refinement in process algebras
cover - RSReactive SystemsLuca Aceto
Reactive Systems
no cover - ARAction Refinement in Process Al...Luca Aceto
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
no cover - FOFoundations of Software Science...Luca Aceto
Foundations of Software Science and Computational Structures
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Models, Algorithms, Logics and Tools
- Open Work
Automata, Languages and Programming
- Open Work
Automata, Languages and Programming
- Open Work
Reactive systems
- Open Work
Reactive systems
- Open Work
Action refinement in process algebras
- Open Work
Reactive Systems
- Open Work
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
- Open Work
Foundations of Software Science and Computational Structures