The Calculus of Computation - Aaron R. Bradley

The Calculus of Computation

1ª edição

Autor:Aaron R. Bradley

Editora:UmLivro, Springer Nature BV (Print-On-Demand)

Livros Artes Artes

Ofertas

1 loja

Ver preço

Ano 2010Páginas 384Formato BOOKISBN 9783642093470

Sobre o livro

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.- Further Reading.

Ficha técnica

Autor: Aaron R. Bradley
Editora: UmLivro, Springer Nature BV (Print-On-Demand)
Formato: BOOK
Encadernação: Capa comum
ISBN: 9783642093470
EAN: 9783642093470
Ano de Publicação: 2010
Número de Páginas: 384
Dimensões: 23.4 x 15.6 x 3 cm
Peso: 0.54 kg
Idioma: pt-BR
Edição: 1
SKU: 9783642093470

Sobre o autor

Quem é Aaron R. Bradley? Livros, Biografia e Ideias do Autor

Ver perfil completo

Aaron R. Bradley é autor de The Calculus of Computation. Consulte o perfil para conhecer outras obras e informações bibliográficas.

Mais livros da editora

Livros da UmLivro: Catálogo Completo e Lançamentos

Ver catálogo da editora

Genome - Matt Ridley

Genome

a partir deR$ 50,00

Anidrose Equina - Arshad Zahoor

Anidrose Equina

a partir deR$ 171,85

An Analysis of Hans J. Morgenthau's Politics Among Nations - Ramon Pacheco Pardo

An Analysis of Hans J. Morgenthau's Politics Among Nations

Ramon Pacheco Pardo, Ramon Pacheco

a partir deR$ 123,45

A Big Life in Advertising - Mary Wells Lawrence

A Big Life in Advertising

Mary Wells Lawrence, Mary Wells

a partir deR$ 78,76

Livros semelhantes

Implants and Oral Rehabilitation of the Atrophic Maxilla

Implants and Oral Rehabilitation of the Atrophic Maxilla

a partir deR$ 85,66

The Human Connectome - Kostas N. Fountoulakis

The Human Connectome

Kostas N. Fountoulakis, Kostas N.

a partir deR$ 76,42

Operative Brachial Plexus Surgery

Operative Brachial Plexus Surgery

a partir deR$ 714,67

Understanding China's Real Estate Markets

Understanding China's Real Estate Markets

a partir deR$ 269,54

Dúvidas frequentes

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.

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.

entre no grupo de ofertas!