Books · Search
Expert systems (Computer science) · Validation
Reactive systems
2003
Logic design · Computer networks
Automata, Languages and Programming
2008
Computer software · System analysis
Foundations of Software Science and Computational Structures
2006
Parallel processing (Electronic computers) · Programming languages (Electronic computers)
Action refinement in process algebras
1992
Algebra, data processing
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
2007
Computer organization · Computer science
Models, Algorithms, Logics and Tools
2017
Computer Technology · Nonfiction
Reactive Systems
Computer networks · Computational complexity
2011
Percorsi evolutivi della responsabilità civile nel sistema ordinamentale italo-europeo
2021
