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
22-04-2026 07:08:01
Gesponsert

Isabelle/HOL

SpringerLink DE
64.19 EUR
22-04-2026 09:18:41

Ähnliche Produkte

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

85.59 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

53.49 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

5.59 EUR
Pferdeführerschein Umgang mit dem Pferd

Pferdeführerschein Umgang mit dem Pferd

14.90 EUR
Müll 2.0

Müll 2.0

4.89 EUR
Isabelle/HOL

Isabelle/HOL

46.00 EUR
Nationalpark Schwarzwald

Nationalpark Schwarzwald

16.90 EUR
Neues aus der zauberhaften Papier-Werkstatt: Noch mehr hauchschöne Bastel-Ideen aus Papier und Draht.

Neues aus der zauberhaften Papier-Werkstatt: Noch mehr hauchschöne Bastel-Ideen aus Papier und Draht.

17.79 EUR