De: R$ 251,50Por: R$ 176,05ou X de
Economia de R$ 75,45
Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
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.
Ficha Técnica
Especificações
| ISBN | 9780486432380 |
|---|---|
| Pré venda | Não |
| Peso | 518g |
| Autor para link | MANNA |
| Livro disponível - pronta entrega | Não |
| Tipo item | Livro Importado |
| Número de páginas | 464 |
| Código Interno | 79612 |
| Código de barras | 9780486432380 |
| Acabamento | PAPERBACK |
| Autor | MANNA |
| Editora | DOVER PUBLICATIONS |
| Sob encomenda | Sim |