Boeken van Dexter Kozen
Dexter Kozen
Automata and Computability
€ 92,49
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course.
Meer
Dexter Kozen
Carron Shankland
Mathematics of Program Construction
€ 60,99
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.
Meer
Dexter Kozen
Ruy de Queiroz
Logic, Language, Information, and Computation
€ 80,19
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.
Meer
Dexter Kozen€ 92,49
Dexter Kozen€ 60,99
Dexter Kozen€ 80,19