D

Dexter Kozen

1951

15 books found

Books by Dexter Kozen
Automata and computabilityDexter Kozen
⏱ 6h 40m

Automata and computability

Dexter Kozen

1997400 pp.
Automata and ComputabilityDexter C. Kozen
⏱ 6h 53m

Automata and Computability

Dexter C. Kozen

2012413 pp.
Theory of ComputationDexter C. Kozen
⏱ 6h 58m

Theory of Computation

Dexter C. Kozen

2006418 pp.
Mathematics of program constructionDexter Kozen
⏱ 6h 41m

Mathematics of program construction

Dexter Kozen

2004401 pp.
Theory of Computation (Texts in Computer Science)Dexter C. Kozen
⏱ 7h 6m

Theory of Computation (Texts in Computer Science)

Dexter C. Kozen

2006426 pp.
The Design and Analysis of AlgorithmsDexter C. Kozen
⏱ 5h 20m

The Design and Analysis of Algorithms

Dexter C. Kozen

1992320 pp.
Tenth Annual IEEE Symposium on Logic in Computer ScienceDexter Kozen
⏱ 8h 38m

Tenth Annual IEEE Symposium on Logic in Computer Science

Dexter Kozen

1995518 pp.
Dynamic Logic (Foundations of Computing)Dexter Kozen
⏱ 7h 30m

Dynamic Logic (Foundations of Computing)

Dexter Kozen

2000450 pp.
Logics of ProgramsDexter Kozen
⏱ 7h 9m

Logics of Programs

Dexter Kozen

1982429 pp.
The design and analysis of algorithmsDexter Kozen
⏱ 5h 20m

The design and analysis of algorithms

Dexter Kozen

1992320 pp.
ProceedingsDexter Kozen

Proceedings

Dexter Kozen

1995No page data
The design and analysis of algorithmsDexter Kozen
⏱ 5h 20m

The design and analysis of algorithms

Dexter Kozen

1992320 pp.
Dynamic LogicDavid Harel
⏱ 7h 56m

Dynamic Logic

David Harel

2000476 pp.
Design and Analysis of AlgorithmsDexter C Kozen

Design and Analysis of Algorithms

Dexter C Kozen

1991No page data
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983Edmund Clarke
⏱ 8h 47m

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

Edmund Clarke

1984527 pp.