| Books 1 - 10 of 21 | Previous | Next | 
|  | | The Design and Analysis of Algorithms (Monographs in Computer Science) (1st Edition)
by Dexter C. Kozen
Hardcover, 320 Pages, Published 1991 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Automata and Computability (Undergraduate Texts in Computer Science)
by Dexter C. Kozen
Hardcover, 400 Pages, Published 1997 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Theory of Computation (Texts in Computer Science) (1st Edition)
by Dexter C. Kozen
Hardcover, 426 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Dynamic Logic (Foundations of Computing) (1st Edition)
by David Harel, Dexter Kozen, Jerzy Tiuryn
Hardcover, 450 Pages, Published 2000 by The MIT Press, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) (1st Edition)
by David Makinson, Samson Abramsky (Adapter), Chris Hankin (Adapter), Dexter C. Kozen (Adapter), Andrew M. Pitts (Adapter), Flemming Nielson (Adapter), Steven S. Skiena (Adapter), Ian Stewart (Adapter), David D. Zhang (Adapter), Ian Mackie (Series Editor)
Hardcover, 296 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science) (1st Edition)
by Alan P. Parkes, Samson Abramsky (Adapter), Chris Hankin (Adapter), Dexter C. Kozen (Adapter), Flemming Nielson (Adapter), Steven S. Skiena (Adapter), Ian Stewart (Adapter), David D. Zhang (Adapter), Ian Mackie (Series Editor)
Paperback, 280 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A Concise Introduction to Software Engineering (Undergraduate Topics in Computer Science) (1st Edition)
by Pankaj Jalote, Samson Abramsky (Adapter), Chris Hankin (Adapter), Dexter C. Kozen (Adapter), Andrew M. Pitts (Adapter), Flemming Nielson (Adapter), Steven S. Skiena (Adapter), Ian Stewart (Adapter), David D. Zhang (Adapter), Ian Mackie (Series Editor)
Paperback, 296 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 2-4, 2004, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Dexter Kozen (Editor), Carron Shankland (Editor)
Paperback, 401 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Logics of Programs: Lecture Notes in Computer Science
by Logics of Programs Workshop (1983 Carnegie Mellon University), Edmund Clarke (Editor), Dexter Kozen (Editor)
Paperback, 527 Pages, Published 1984 by Springer-Verlag
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California (Symposium on Logic in Computer Science//Proceedings)
by Dexter Kozen (Editor)
Paperback, 518 Pages, Published 1995 by IEEE Computer Society Press
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 21 | Previous | Next |
|