Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
A mathematical theory of computation, according to the formulation of Manna (Stanford U.), is a theory that "attempts to formalize our understanding of computation," and to place program verification on greater scientific footing. He looks at the theory and practice of computational verification techniques, keeping the underlying mathematical theory to a minimum. Chapters cover computability, predicate calculus, verification of programs, flowchart schemas, and the "fixpoint" theory of programs.
Livros na mesma categoria
Chemistry
Steven S. | Zumdahl Susan a. Zumdahl
Sobre o "Caso Marie Curie"
Gabriel Pugliese
Um Primeiro Curso de áLgebra Linear
Aldo Trajano | Oliveira Alexandro Marinho Louredo
Beginning Number Theory - Second Edition
Neville Robbins
Modulated Waves - Theory And Applications
Lev a. Ostrovsky
Extraterrestrials
Hart & Bourne
Caixa de Pandora da Matematica , a
Brian Bolt
A Vida Secreta do Universo
Nathalie a. Cabrol
Sets For Mathematics
F. William | Rosebrugh Robert Lawvere
Topology For Analysis
Albert Wilansky
Ah, Apanhei-Te!
Martin Gardner
Historia de Las Matematicas
Richard Mankiewicz
Dicas e recomendações para leitores
Uma boa resenha vai muito além de "gostei" ou "não gostei". Aprenda a estruturar sua análise, destacar o que importa e compartilhar sua leitura de forma que inspire outros.
Alguns leitores tratam livros como relíquias intocáveis. Outros os marcam do início ao fim. Descubra qual abordagem maximiza o aprendizado e como criar um sistema de notas que realmente funciona.
Um bom clube de leitura transforma leitores solitários em uma comunidade. Guia completo para criar, organizar e manter um clube que as pessoas realmente frequentem.
Para escolas, universidades, autores e editoras
