Programação

Concrete Semantics

With Isabelle/Hol

de Gerwin Klein e Tobias Nipkow 

Bertrand.pt - Concrete Semantics
idioma: Inglês
Editor: Springer International Publishing AG
Edição: setembro de 2016
Portes
Grátis
10%
67,58€
Poupe 6,76€ (10%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

Concrete Semantics
With Isabelle/Hol
de Gerwin Klein e Tobias Nipkow 
ISBN:
9783319357591
Ano de edição:
09-2016
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
155 x 235 x 17 mm
Encadernação:
Capa mole
Páginas:
298
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Programação

Livros  >  Livros em Inglês  >  Outros

EAN:
9783319357591

Dos mesmos autores

Concrete Semantics
10%
portes grátis
10% Cartão Leitor Bertrand
95,31€
Poupe 9,53€
Springer International Publishing AG
Concrete Semantics
10%
portes grátis
10% Cartão Leitor Bertrand
95,31€
Poupe 9,53€
Springer International Publishing AG
Term Rewriting And All That
70,98€
CAMBRIDGE UNIVERSITY PRESS
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.