Udvidet returret til d. 31. januar 2025

Bøger af Markus Wenzel

Filter
Filter
Sorter efterSorter Populære
  • - Ein Leitfaden Fur Unternehmer Und Entscheider
    af Markus Wenzel, Paul Niebler & Dominic Lindner
    193,95 kr.

  • - A Proof Assistant for Higher-Order Logic
    af Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel
    614,95 kr.

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.

Gør som tusindvis af andre bogelskere

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