Dynamic Logic (Foundations of Computing)
Dynamic Logic (Foundations of Computing)
Dexter Kozen
Details
OL Work ID
OL14873996W
Subjects
Formal methods (Computer science)
Computer logic
Logic, symbolic and mathematical
Find this book
Open Library