Isabelle/HOL: A Proof Assistant for Higher-Order Logic (... | Buch | Zustand gut
11,29 €
(Schutzumschlag, Cover, Booklet, Hülle, Box, Anleitung). Schutzumschlag kann unter Umständen fehlen. Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) von not specified | Buch | Zustand gut.
Jetzt bei Ebay: