Markus Wenzel – författare

Visar alla böcker från författaren Markus Wenzel. Handla med fri frakt och snabb leverans.

2 produkter

Kategorier

2 produkter

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

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