Models, Algorithms, Logics and Toolsde Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu MardareMateriasComputer organizationComputer scienceSoftware engineeringProgramming languages (electronic computers)Ediciones (1)Models, Algorithms, Logics and Tools (2017)
FFoundations of Software Science and Computational StructuresFoundations of Software Science and Computational Structures
