Markus Wenzel – författare

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

2 produkter

Kategorier

2 produkter

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulsonm. fl.

Häftad, Engelska, 2002

839 kr

Skickas inom 10-15 vardagar

Dominic Lindner, Paul Niebler, Markus Wenzel - Der Weg in die Cloud, Häftad

Der Weg in die Cloud

Ein Leitfaden für Unternehmer und Entscheider

AvDominic Lindner,Paul Nieblerm. fl.

Häftad, Tyska, 2020

209 kr

Skickas inom 10-15 vardagar