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