De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Concrete Semantics

Concrete Semantics

- With Isabelle/HOL

af Tobias Nipkow, Gerwin Klein
Concrete Semantics af Tobias Nipkow
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.
  • 11. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: