Markus Wenzel – författare
Visar alla böcker från författaren Markus Wenzel. Handla med fri frakt och snabb leverans.
4 produkter
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Tobias Nipkow, Lawrence C. Paulson m. fl.
Häftad, 2002
660 kr
Lägg i varukorg
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic …
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Markus Wenzel, Lawrence C. Paulson m. fl.
E-bok, 2003
815 kr
Lägg i varukorg
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic …
Der Weg in die Cloud
Ein Leitfaden für Unternehmer und Entscheider
Av Dominic Lindner, Paul Niebler m. fl.
Häftad, 2020
164 kr
Lägg i varukorg
Die Autoren untersuchen in diesem essential Chancen und Risiken der Nutzung von Cloud-Technologien und veranschaulichen das Thema durch Beispiele aus Forschung und Praxis. Sie erklären Grundlagen und Anwendungsfälle rund um Liefermodelle – Private und Public Cloud – und Servicemodelle – IaaS, SaaS …
Der Weg in die Cloud
Ein Leitfaden für Unternehmer und Entscheider
Av Markus Wenzel, Paul Niebler m. fl.
E-bok, 2020
84 kr
Lägg i varukorg
Die Autoren untersuchen in diesem essential Chancen und Risiken der Nutzung von Cloud-Technologien und veranschaulichen das Thema durch Beispiele aus Forschung und Praxis. Sie erklären Grundlagen und Anwendungsfälle rund um Liefermodelle – Private und Public Cloud – und Servicemodelle – IaaS, SaaS …
