Isabelle/HOL: A Proof Assistant for Higher-Order Logic | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Isabelle/HOL: A Proof Assistant for Higher-Order Logic
  • #
  • #

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

64.19 EUR 63.94 EUR 0% Off

Teilen:
Gesponsert

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Medimops DE
63.94 EUR
07-06-2026 22:54:15
Gesponsert

Isabelle/HOL

SpringerLink DE
64.19 EUR
07-06-2026 19:23:25

Ähnliche Produkte

Pferdeführerschein Umgang mit dem Pferd

Pferdeführerschein Umgang mit dem Pferd

14.90 EUR
Die Erzengel: 15 Begleiter auf dem Weg in ein erfülltes Leben

Die Erzengel: 15 Begleiter auf dem Weg in ein erfülltes Leben

6.49 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

53.49 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

85.59 EUR
Müll 2.0

Müll 2.0

4.89 EUR
Müll 2.0

Müll 2.0

6.08 EUR