Concrete Semantics: With Isabelle/HOL (Bog, Hardback, Engelsk) af Tobias Nipkow
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringssprog og scriptsprog
  5. Matematisk datateori
  6. Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

(Bog, Hardback, Engelsk)
Forfattere: Tobias Nipkow, Gerwin Klein
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Programmeringssprog og scriptsprog
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Tobias Nipkow, Gerwin Klein
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 15-12-2014
Første udgivelsesår 2014
Illustrationer 1 Illustrations, color; 86 Illustrations, black and white; XIII, 298 p. 87 illus., 1 illus. in color.
Originalsprog Switzerland
Sideantal 298
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 298 pages, 1 Illustrations, color; 86 Illustrations, black and white; XIII, 298 p. 87 illus., 1 illu
Mål 235 x 155
ISBN-13 / EAN-13 9783319105413