Name: Concrete Semantics
Price: 1071.00 NOK
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783319105413

Du sparer 0% ift. ordinær pris Spar 0%

Hardback
2-4 uker
1 071,-

Om Concrete Semantics

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.

Vis mer

Språk:
Engelsk

ISBN:
9783319105413

Forlag:
Springer International Publishing AG

Bindende:
Hardback

Sider:
298

Utgitt:
15. desember 2014

Utgave:
2014

Dimensjoner:
155x235x19 mm.

Vekt:
5915 g.

BLACK NOVEMBER
1 071,-
~~1 071,-~~

Gratis frakt

Leveringstid: 2-4 uker

Forventet levering: 29. november 2024

Om Tobias Nipkow

Se alle bøkene av Tobias Nipkow

Beskrivelse av Concrete Semantics

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.

Brukervurderinger av Concrete Semantics

Andre har også kjøpt..

Finn lignende bøker

Boken Concrete Semantics finnes i følgende kategorier:

Bedrift og læring > Data og IT

Concrete Semantics

Om Tobias Nipkow

Beskrivelse av Concrete Semantics

Brukervurderinger av Concrete Semantics

Gjør som tusenvis av andre bokelskere