 
    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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.