Matemática

Interactive Theorem Proving And Program Development

Coq’Art: The Calculus Of Inductive Constructions

de Yves Bertot e Pierre Casteran 

eBook
Bertrand.pt - Interactive Theorem Proving And Program Development
idioma: Inglês
Editor: Springer Berlin Heidelberg
Edição: março de 2013
10%
98,71€
Poupe 9,87€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises.

Da mesma coleção

ver +
Formal Methods For Software Engineering
10%
10% Cartão Leitor Bertrand
72,86€
Poupe 7,29€
Springer International Publishing
eBook
Decision Procedures
20%
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Interactive Theorem Proving And Program Development
Coq’Art: The Calculus Of Inductive Constructions
de Yves Bertot e Pierre Casteran 
ISBN:
9783662079645
Ano de edição:
03-2013
Editor:
Springer Berlin Heidelberg
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Texts In Theoretical Computer Science. An Eatcs Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9783662079645
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.