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 64.19 EUR 10% Off

Teilen:
Gesponsert

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

Medimops DE
64.19 EUR
24-07-2026 15:13:54
Gesponsert

Isabelle/HOL

SpringerLink DE
71.00 EUR
24-07-2026 23:08:33

Ä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.59 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

56.70 EUR
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

85.59 EUR
Isabelle/HOL

Isabelle/HOL

58.99 EUR
Müll 2.0

Müll 2.0

4.89 EUR