Bøger af Markus Wenzel - tales.dk

Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser

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

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

- A Proof Assistant for Higher-Order Logic

af Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel

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