„yves bertot"
-
From Semantics to Computer Science
From Semantics to Computer ScienceeBook (PDF) + weitere
118,99 €
-
Interactive Theorem Proving and Program Development
- 10%Yves Bertot + weitere
Interactive Theorem Proving and Program DevelopmentBuch (Gebundene Ausgabe) + weitere
114,99 € UVP
128,39 €* -
Theorem Proving in Higher Order Logics
Band 1690Yves Bertot, Gilles Dowek + weitere
Theorem Proving in Higher Order LogicsBuch (Taschenbuch)
49,99 €