Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
