Markus Wenzel - Böcker

Visar alla böcker från författaren Markus Wenzel.
2 produkter
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad
Del 2283 - Lecture Notes in Computer Science

Isabelle/HOL

Av Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Häftad, Engelska, 2002

789 kr

Skickas inom 7-10 vardagar
Dominic Lindner, Paul Niebler, Markus Wenzel - Der Weg in die Cloud, Häftad

Der Weg in die Cloud

Av Dominic Lindner, Paul Niebler, Markus Wenzel

Häftad, Tyska, 2020

209 kr

Skickas inom 7-10 vardagar