10% de desconto

Concrete Semantics

With Isabelle/Hol

de Gerwin Klein e Tobias Nipkow
idioma: inglês
Editor: Springer International Publishing AG, setembro de 2016 ‧
67,58€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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

Propriedade Descrição
ISBN: 9783319357591
Editor: Springer International Publishing AG
Data de Lançamento: setembro de 2016
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 em Inglês > Informática > Programação
Livros em Inglês > Outros
EAN: 9783319357591