Título: Mathematical Theory of Computation
Autor: Zohar Manna
Sinopse: 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 machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Mathematical Theory of Computation”, de Zohar Manna, publicado pela editora McGraw-Hill College, em 1974 e com 448 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: McGraw-Hill College
Páginas: 448
Ano: 1974
Edição:
Linguagem: pt_BR
ISBN: 0070399107
ISBN13: 9780070399105
Sobre a editora
Os livros da editora McGraw-Hill College costumam oferecer uma leitura focada em áreas acadêmicas e técnicas, com ênfase em clareza e atualização constante. O catálogo privilegia textos que equilibram teoria e aplicação prática, como em macroeconomia, finanças corporativas e engenharia, com exemplos e dados atuais que ajudam a contextualizar o conteúdo. A linguagem tende a ser acessível, mesmo em temas complexos, favorecendo tanto estudantes iniciantes quanto leitores com algum conhecimento prévio. Há obras que exploram desde fundamentos básicos até tópicos avançados, com ritmo didático e uso frequente de exercícios e casos para fixação. A presença de materiais complementares, como guias e softwares, também indica um cuidado em apoiar o aprendizado.
