Bøger af Markus Wenzel - plingboeger.dk

De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger

Levering: 1 - 2 hverdage

Populære

Der Weg in Die Cloud

- Ein Leitfaden Fur Unternehmer Und Entscheider

af Markus Wenzel, Paul Niebler & Dominic Lindner

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

- A Proof Assistant for Higher-Order Logic

af Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel

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