Udvidet returret til d. 31. januar 2025

Bøger af Gerwin Klein

Filter
Filter
Sorter efterSorter Populære
  • - With Isabelle/HOL
    af Tobias Nipkow & Gerwin Klein
    573,95 - 1.176,95 kr.

    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.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.