Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Concrete Semantics

Concrete Semantics

- With Isabelle/HOL

av Tobias Nipkow, Gerwin Klein
Concrete Semantics av Tobias Nipkow
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319105413
  • Format:
  • Inbunden
  • Sidor:
  • 298
  • Utgiven:
  • 15. december 2014
  • Utgåva:
  • 2014
  • Mått:
  • 155x235x19 mm.
  • Vikt:
  • 5915 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Om Tobias Nipkow

Se alla böcker av Tobias Nipkow

Beskrivning 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.

Användarnas betyg av Concrete Semantics



Andra köpte även...
Hitta liknande böcker
Boken Concrete Semantics finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.