Isabelle: A Generic Theorem Prover | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Isabelle: A Generic Theorem Prover
  • #
  • #

Isabelle: A Generic Theorem Prover

59.00 EUR 53.24 EUR 10% Off

Teilen:
Gesponsert

Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)

Medimops DE
53.24 EUR
11-08-2026 16:11:27
Gesponsert

Isabelle

SpringerLink DE
59.00 EUR
11-08-2026 13:25:49

Ähnliche Produkte

Pferdeführerschein Umgang mit dem Pferd

Pferdeführerschein Umgang mit dem Pferd

16.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
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
Müll 2.0

Müll 2.0

6.59 EUR
Nationalpark Schwarzwald

Nationalpark Schwarzwald

16.90 EUR
Müll 2.0

Müll 2.0

6.08 EUR