Markus Wenzel - Böcker

Visar alla böcker från författaren Markus Wenzel.

2 produkter

Kategorier

2 produkter

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulson,Markus Wenzel

Häftad, Engelska, 2002

759 kr

Skickas inom 10-15 vardagar

Der Weg in die Cloud

Ein Leitfaden für Unternehmer und Entscheider

AvDominic Lindner,Paul Niebler,Markus Wenzel

Häftad, Tyska, 2020

209 kr

Skickas inom 10-15 vardagar