BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
Click here to take a virtual tour of Blackwells, Oxford

  

Search for: Dexter C Kozen

Refine your search:

 

£56.99
In stock

ISBN: 9780387949079 - Automata and Computability Automata and Computability
Dexter C Kozen

ISBN10: 0387949070  ISBN13: 9780387949079
Publisher: Springer-Verlag New York Inc.
Edition: and 1997. Corr
Format: Hardback
Publication date: 30 Jun 1997
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Students who have already some experience with... More

£72.00
Not in stock - our special ordering service will try to obtain this title for you

New & used from £34.62
ISBN: 9781846282973 - Theory of Computation Theory of Computation
Dexter C Kozen

ISBN10: 1846282977  ISBN13: 9781846282973
Publisher: Springer London Ltd
Edition: illustrated edition
Format: Hardback
Publication date: 08 May 2006
A dual purpose textbook. It is uniquely written to cover core material in the foundations of computing for graduate students in computer science and to provide an introduction to some more advanced topics for those intending further study in the... More

£72.00
Not in stock - our special ordering service will try to obtain this title for you

New & used from £72.82
ISBN: 9781849965712 - Theory of Computation Theory of Computation
Dexter C Kozen

ISBN10: 1849965714  ISBN13: 9781849965712
Publisher: Springer London Ltd
Edition: Softcover reprint of hardcover 1st ed. 2006
Format: Paperback
Publication date: 21 Oct 2010
A dual purpose textbook. It is uniquely written to cover core material in the foundations of computing for graduate students in computer science and to provide an introduction to some more advanced topics for those intending further study in the... More

£72.50
Usually despatched within 10 days

New & used from £16.73
ISBN: 9780387976877 - The Design and Analysis of Algorithms The Design and Analysis of Algorithms
Dexter C Kozen Gries, David

ISBN10: 0387976876  ISBN13: 9780387976877
Publisher: Springer-Verlag New York Inc.
Edition: illustrated edition
Format: Hardback
Publication date: 19 Dec 1991
The design and analysis of algorithms is one of the two essential cornerstone topics in computer science (the other being automata theory/theory of computation). Every computer scientist has a copy of Knuth's works on algorithms on his or her shelf. More

£44.95
Usually despatched within 10 days

New & used from £33.71
ISBN: 9780262082891 - Dynamic Logic Dynamic Logic
David Harel, Dexter C Kozen, Jerzy Tiuryn

ISBN10: 0262082896  ISBN13: 9780262082891
Publisher: MIT Press Ltd MIT Press
Format: Hardback
Publication date: 20 Nov 2000
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants... More

£93.50
Usually despatched within 10 days

Used from £0.73
ISBN: 9780818670503 - Logic in Computer Science (10th) Logic in Computer Science (10th)
Dexter Kozen (Edt) Dexter C Kozen

ISBN10: 0818670509  ISBN13: 9780818670503
Publisher: IEEE Computer Society Press,U.S.
Format: Paperback
Publication date: 31 Jan 1996
The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. More

£26.99
Not in stock - our special ordering service will try to obtain this title for you

New & used from £18.58
ISBN: 9788181286963 - Theory of Computation Theory of Computation
Dexter C Kozen

ISBN10: 8181286960  ISBN13: 9788181286963
Publisher: Springer, India, Private Ltd
Format: Paperback
Publication date: 01 Dec 2007

£58.99
Usually despatched within 10 days

New & used from £19.89
ISBN: 9783540223801 - Mathematics of Program Construction Mathematics of Program Construction
Kozen, D Dexter C Kozen, Carron Shankland

ISBN10: 3540223800  ISBN13: 9783540223801
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition: illustrated edition
Format: Paperback
Publication date: 24 Jun 2004
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004. The 19 revised full papers presented were carefully reviewed and... More

£46.00
Out of print

Used from £81.89
ISBN: 9783540976875 - Design and Analysis of Algorithms Design and Analysis of Algorithms
Dexter C Kozen

ISBN10: 3540976876  ISBN13: 9783540976875
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Format: Hardback
Publication date: 01 Dec 1991
The design and analysis of algorithms is one of two cornerstone topics in computer science (the other being automata theory). This reference text is intended for graduate study of algorithms. The design and analysis of algorithms is one of the two... More