Title: Tools and Algorithms for the Construction and Analysis of Systems
Subjects: Logic design, Computer networks, Software engineering, Computer science, Artificial intelligence, System design, System analysis, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer Communication Networks, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)