Name: Concrete Semantics
Price: 1176.95 DKK
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783319105413

Du sparer 0% ift. normalprisen Spar 0%

Bag 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 mere

Sprog:
Engelsk

ISBN:
9783319105413

Forlag:
Springer International Publishing AG

Indbinding:
Hardback

Sideantal:
298

Udgivet:
15. december 2014

Udgave:
2014

Størrelse:
155x235x19 mm.

Vægt:
5915 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 7. december 2024

Normalpris

BLACK NOVEMBER
1.176,95 kr. + Fragt
~~1.176,95 kr.~~

Medlemspris

1.126,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Tobias Nipkow

Vis alle bøger af Tobias Nipkow

Beskrivelse af 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.

Brugerbedømmelser af Concrete Semantics

Andre købte også..

Find lignende bøger

Bogen Concrete Semantics findes i følgende kategorier:

Business og læring > Computer og IT

Concrete Semantics - Tobias Nipkow - Bog

Bag om Tobias Nipkow

Beskrivelse af Concrete Semantics

Brugerbedømmelser af Concrete Semantics

Gør som tusindvis af andre bogelskere