D.K · D. Kozen · Dexter C. Kozen
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Automata and Computability | Hardcover | 978-0-387-94907-9 | 1997 | Dexter C. Kozen | |
| Dynamic Logic | " | 978-0-262-08289-1 | 2000 | David Harel · Jerzy Tiuryn | |
| Dynamic Logic | Printed Access Code | 978-0-262-27495-1 | 2000 | David Harel · Jerzy Tiuryn | |
| Dynamic Logic | Paperback | 978-0-262-52766-8 | 2000 | David Harel · Jerzy Tiuryn | |
| Logics of Programs: Lecture Notes in Computer Science | " | 978-0-387-11212-1 | 1982 | N. Y.) Logics of Programs Workshop (1981 Yorktown Heights | |
| Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings | Taschenbuch | 978-3-540-22380-1 | 2008 | Carron Shankland | |
| Theory of Computation: Classical and Contemporary Approaches | Hardcover | 978-1-84628-297-3 | 2006 | ||