Categorias
Acessórios para Home Theater
Alto-Falantes e Caixas de Som para Home Theater
AV Receivers
DVD Players e Gravadores
Sistemas de Cinema em Casa e Home Theater
TVs
Menu
Início
Categorias
Acessórios para Home Theater
Alto-Falantes e Caixas de Som para Home Theater
AV Receivers
DVD Players e Gravadores
Sistemas de Cinema em Casa e Home Theater
TVs
Início
Contato
Verification of Sequential and Concurrent Programs
Home
Livros
Inglês e Outras Línguas
Importados de Ciências Tecnológicas
Importados de Matemática
Importados de Matemática Pura
Importados de Lógica
Verification of Sequential and Concurrent Programs
R$ 733,99
COMPRAR
Sua compra será finalizada na
AMAZON
.
Compartilhe:
Você também pode gostar de:
The Art of Logic in an Illogical World
R$ 207,21
Detalhes
Model Theory for Beginners. 15 Lectures
R$ 142,63
Detalhes
Code Warriors: Nsa's Codebreakers and the Secret Intelligence War Against the Soviet Union
Vintage autor, Nome:Budiansky, Stephen Capa comum
R$ 94,87
Detalhes
Mathematical Logic: A Course with Exercisespart I: Propositional Calculus, Boolean Algebras, Predica
R$ 821,12
Detalhes
Mathematical Logic: A Course with Exercisespart II: Recursion Theory, Gödel's Theorems, Set Theory,
R$ 1.040,15
Detalhes
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
R$ 449,64
Detalhes
A Friendly Introduction to Mathematical Logic
R$ 265,83
Detalhes
Burden of Proof, Presumption and Argumentation
R$ 274,00
Detalhes
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
R$ 393,91
Detalhes
Numbers
R$ 155,21
Detalhes
The Joy of Abstraction: An Exploration of Math, Category Theory, and Life (English Edition)
R$ 112,59
Detalhes
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Funct
R$ 74,91
Detalhes