Title: Dynamic Logic (Foundations of Computing)
Subjects: Formal methods (Computer science), Computer logic, Logic, symbolic and mathematical