Yazar
Dexter Kozen
14 cilt bulundu.
Cilt sonuçları
Mathematics of program construction
Dexter Kozen · Springer
401 sayfa · 2004
Computer programming / Congresses / Computer science / Mathematics / Computer science, mathematics
Theory of Computation (Texts in Computer Science)
Dexter C. Kozen · Springer
426 sayfa · 2006
Mathematics / Computational complexity / Recursion theory / Computer science / Computer science, mathematics
The Design and Analysis of Algorithms
Dexter C. Kozen · Springer New York
320 sayfa · 1992
Computer science / Computer software / Computer algorithms
Dynamic Logic (Foundations of Computing)
Dexter Kozen · The MIT Press
450 sayfa · 2000
Formal methods (Computer science) / Computer logic / Logic, symbolic and mathematical
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Edmund Clarke, Dexter Kozen · Springer-Verlag
527 sayfa · 1984
Computer programming / Congresses / Mathematical Logic and Formal Languages / Congrès / Programmation (Informatique)