Udvidet returret til d. 31. januar 2025

Concrete Semantics - Tobias Nipkow - Bog

- With Isabelle/HOL

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
  • Indbinding:
  • Hardback
  • Sideantal:
  • 298
  • Udgivet:
  • 15. december 2014
  • Udgave:
  • 2014
  • Størrelse:
  • 155x235x19 mm.
  • Vægt:
  • 5915 g.
  • 8-11 hverdage.
  • 20. november 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

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



Find lignende bøger
Bogen Concrete Semantics findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.