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

Av Tobias Nipkow, Lawrence C. Paulson m. fl

Häftad, Engelska, 2002

769 kr

Skickas inom 10-15 vardagar

Der Weg in die Cloud

Ein Leitfaden für Unternehmer und Entscheider

Av Dominic Lindner, Paul Niebler m. fl

Häftad, Tyska, 2020

209 kr

Skickas inom 10-15 vardagar