Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Bøger - Springer International Publishing AG - 9783319105413 - 15. december 2014
Ved uoverensstemmelse mellem cover og titel gælder titel

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Pris
DKK 639

Bestilles fra fjernlager

Forventes klar til forsendelse 7. - 13. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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.

298 pages, 86 black & white illustrations, 1 colour illustrations, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 15. december 2014
ISBN13 9783319105413
Forlag Springer International Publishing AG
Antal sider 298
Mål 155 × 235 × 19 mm   ·   616 g
Sprog Engelsk  

Mere med Tobias Nipkow

Vis alle

Se alt med Tobias Nipkow ( f.eks. Paperback Bog og Hardcover bog )