Sobre o livro
Ficha técnica
Livros da UmLivro: Catálogo Completo e Lançamentos
Livros semelhantes
Perguntas frequentes
Sobre o que é o livro The Calculus of Computation?
Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.-...
Quem escreveu The Calculus of Computation?
The Calculus of Computation foi escrito por Aaron R. Bradley. Aaron R. Bradley é professor associado e pesquisador na área de ciência da computação, com foco em lógica computacional e verificação de software e hardware. Ele é coautor do livro "The Calculus of Computation: Decision Procedures with Applications to Verification", publicado em 2007.
Quais são os dados desta edição?
Esta edição é publicada pela UmLivro, em 2010, com 384 páginas e no formato Capa comum.
Qual é o ISBN de The Calculus of Computation?
O ISBN/EAN informado para esta edição é 9783642093470.
Onde comparar preços de The Calculus of Computation?
A Orelha de Livro compara a oferta disponível para esta edição. O preço e a disponibilidade finais devem ser confirmados na loja.