Name: Concrete Semantics
Price: 573.95 DKK
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783319357591

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:
9783319357591

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
298

Udgivet:
10. september 2016

Udgave:
12014

Størrelse:
234x156x19 mm.

Vægt:
490 g.

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

På lager

Normalpris

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

Medlemspris

523,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