Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Interactive Theorem Proving
Band 6172
Interactive Theorem ProvingeBook (PDF) + weitere
Fr. 125.90
-
Isabelle
Band 828Lawrence C. Paulson
IsabelleBuch (Taschenbuch)
Fr. 72.90
-
Isabelle/HOL
Band 2283Tobias Nipkow, Lawrence C. Paulson + weitere
Isabelle/HOLBuch (Taschenbuch) + weitere
Fr. 87.90
-
Logic and Computation
Lawrence C. Paulson
Logic and ComputationBuch (Taschenbuch)
Fr. 88.90
-
ML for the Working Programmer
Lawrence C. Paulson + weitere
ML for the Working ProgrammerBuch (Taschenbuch) + weitere
Fr. 108.00
von 5 Treffern werden angezeigt