Markus Wenzel – författare
Visar alla böcker från författaren Markus Wenzel.
2 produkter
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Tobias Nipkow, Lawrence C. Paulson m. fl.
Häftad, 2002
849 kr
Lägg i varukorg
Der Weg in die Cloud
Ein Leitfaden für Unternehmer und Entscheider
Av Dominic Lindner, Paul Niebler m. fl.
Häftad, 2020
209 kr
Lägg i varukorg