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

71.00 EUR 60.37 EUR 15% Off

Teilen:
Gesponsert

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

Medimops DE
60.37 EUR
28-10-2026 19:41:47
Gesponsert

Isabelle/HOL

Hugendubel
63.99 EUR
29-10-2026 02:49:36
Gesponsert

Isabelle/HOL

SpringerLink DE
71.00 EUR
01-11-2026 18:29:09

Ähnliche Produkte

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.

20.00 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

16.95 EUR
Nationalpark Schwarzwald

Nationalpark Schwarzwald

16.90 EUR
Pferdeführerschein Umgang mit dem Pferd

Pferdeführerschein Umgang mit dem Pferd

13.65 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

21.95 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.

25.45 EUR