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

Bücher von Markus Wenzel

Filter
Filter
Ordnen nachSortieren Beliebt
  • - Ein Leitfaden Fur Unternehmer Und Entscheider
    von Markus Wenzel, Paul Niebler & Dominic Lindner
    14,99 €

  • - A Proof Assistant for Higher-Order Logic
    von Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel
    53,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

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