Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (... | Buch | Zustand gut

Ø 0.0
0 Bewertungen
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: