Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Gerwin Klein

Filter
Filter
Ordnen nachSortieren Beliebt
  • - With Isabelle/HOL
    von Tobias Nipkow & Gerwin Klein
    48,00 - 71,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.