Bøger af Markus Wenzel - tales.dk

Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger

Udvidet returret til d. 31. januar 2025

Populære

Der Weg in Die Cloud

- Ein Leitfaden Fur Unternehmer Und Entscheider

af Markus Wenzel, Paul Niebler & Dominic Lindner

193,95 kr.
- Bog
- 193,95 kr.
Se mere
Isabelle/HOL

- 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.
- Bog
- 614,95 kr.
Se mere