Title: Models, Algorithms, Logics and Tools
Subjects: Computer organization, Computer science, Software engineering, Programming languages (electronic computers)