Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Bøger - Springer International Publishing AG - 9783319357591 - 10. september 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL Softcover reprint of the original 1st ed. 2014 edition

Pris
DKK 438

Bestilles fra fjernlager

Forventes klar til forsendelse 26. - 30. jan.

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.

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. september 2016
ISBN13 9783319357591
Forlag Springer International Publishing AG
Antal sider 298
Mål 234 × 156 × 19 mm   ·   490 g
Sprog Fransk  

Mere med Tobias Nipkow

Vis alle

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