Willkommen. Schön, sind Sie da!
Mein Ex Libris

Isabelle/HOL

E-Book (pdf), 226 Seiten

(0)
Erste Bewertung abgeben
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle ...

CHF65.00

Download steht sofort bereit

E-Book (pdf)