Luca Aceto

Subjects

Computer science, Computer software, Algebra, data processing, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Computational complexity, Computer Communication Networks, Computer networks, Computer science, mathematics, Computer software, verification, Information storage and retrieval systems, Software engineering, Computer Technology, Computer organization, Discrete Mathematics in Computer Science, Expert systems (Computer science), Information organization, Information retrieval, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical models, Nonfiction, Parallel processing (Electronic computers), Programming languages (Electronic computers)