
Mathematics of Program Construction
Dexter Kozen, Carron Shankland
₹5,722

Classical and Contemporary Approaches
by Dexter Kozen
Springer-Nature New York Inc · 2006 · Hardcover
Free delivery. Nothing extra to pay at checkout.
Published by Springer-Nature New York Inc in 2006, Theory of Computation: Classical and Contemporary Approaches by Dexter Kozen runs to 418 pages in hardcover.
Topics covered include Mathematics, Computational complexity, Recursion theory and Computer science.