With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing...

"Mathematical Theory of Computation" von Zohar Manna ist ein grundlegendes Werk, das die theoretischen Aspekte der Informatik behandelt. Das Buch bietet eine umfassende Einführung in die mathematischen Grundlagen der Berechenbarkeit und...