Foundations of Software Science and Computational Structuresde Martin HofmannMateriasLogic designComputer scienceSoftware engineeringSystem analysisProgramming Languages, Compilers, InterpretersLogics and Meanings of ProgramsComputation by Abstract DevicesMathematical Logic and Formal LanguagesEdiciones (2)
