Sinopsis
This is a self-contained discussion of fundamental topics in computer science, which includes coverage of program semantics, automata theory, program and circuit design, concurrent programs and compilation. Formal proofs and practical applications are provided throughout the text.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This is a self-contained discussion of fundamental topics in computer science, which includes coverage of program semantics, automata theory, program and circuit design, concurrent programs and compilation. Formal proofs and practical applications are provided throughout the text.
"Sobre este título" puede pertenecer a otra edición de este libro.
