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

Isabelle/HOL: Ein Beweisassistent für Logik höherer Ordnung (Vorlesungsnotizen in Compute

Ø 0.0
0 Bewertungen
25,15 €

Title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science). Publish Date: 23/05/2008. Edition: 2002. Books spine may be slightly creased due to age and wear. The picture may not reflect the books condition or specific edition.

Jetzt bei Ebay: