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
06-09-2026 20:39:01
Gesponsert

Isabelle/HOL

SpringerLink DE
71.00 EUR
07-09-2026 11:13:19

Ä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

5.49 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

57.16 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

94.50 EUR
Isabelle/HOL

Isabelle/HOL

58.99 EUR
Müll 2.0

Müll 2.0

5.79 EUR