Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Logics and Type Systems in Theory and Practice
Band 14560 - 13%
Logics and Type Systems in Theory and PracticeBuch (Taschenbuch) + weitere
123,99 € UVP
142,99 €* -
Interactive Theorem Proving
Band 6898
Interactive Theorem ProvingBuch (Taschenbuch) + weitere
51,99 €
-
Types for Proofs and Programs
Band 2646
Types for Proofs and ProgramseBook (PDF) + weitere
54,99 €
-
The Seventeen Provers of the World
Band 3600Freek Wiedijk
The Seventeen Provers of the WorldBuch (Taschenbuch)
55,99 €
-
Hybrid Systems: Computation and Control
Band 2623Freek Wiedijk, Oded Maler + weitere
Hybrid Systems: Computation and ControlBuch (Taschenbuch)
99,99 €
von 5 Treffern werden angezeigt