Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
