10% de desconto

Concrete Semantics

With Isabelle/Hol

de Gerwin Klein e Tobias Nipkow
idioma: inglês
Editor: Springer International Publishing AG, dezembro de 2014 ‧
95,31€
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: 9783319105413
Editor: Springer International Publishing AG
Data de Lançamento: dezembro de 2014
Idioma: Inglês
Dimensões: 155 x 235 x 19 mm
Encadernação: Capa dura
Páginas: 298
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Informática > Programação
EAN: 9783319105413