Yazar
Dexter Kozen
15 cilt bulundu.
Dexter Kozen · Springer
401 sayfa · 2004
Computer programming / Congresses / Computer science / Mathematics / Computer science, mathematics
Dexter C. Kozen · Springer
426 sayfa · 2006
Mathematics / Computational complexity / Recursion theory / Computer science / Computer science, mathematics
Dexter C. Kozen · Springer New York
320 sayfa · 1992
Computer science / Computer software / Computer algorithms
Dexter Kozen · The MIT Press
450 sayfa · 2000
Formal methods (Computer science) / Computer logic / Logic, symbolic and mathematical
Dexter Kozen · Springer-Verlag
320 sayfa · 1992
Computer algorithms / Компьютеры / Алгоритмы и структуры данных / Computers / Algorithms and Data Structures
Edmund Clarke, Dexter Kozen · Springer-Verlag
527 sayfa · 1984
Computer programming / Congresses / Mathematical Logic and Formal Languages / Congrès / Programmation (Informatique)