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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Medimops DE
63.94 EUR
Preis aktualisiert am: 12-06-2026 08:02:40
Siehe Produktangebot
Gesponsert
Isabelle/HOL
SpringerLink DE
64.19 EUR
Preis aktualisiert am: 11-06-2026 23:41:36
Siehe Produktangebot

Allgemein

Marke
Tobias Nipkow
MPN
Tobias Nipkow 1
ISBN
Tobias Nipkow 3540433767

Eigenschaften

Ähnliche Produkte

Concrete Semantics: With Isabelle/HOL
Concrete Semantics: With Isabelle/HOL
Produkt anzeigen
Pferdeführerschein Umgang mit dem Pferd
Pferdeführerschein Umgang mit dem Pferd
Produkt anzeigen
Die Erzengel: 15 Begleiter auf dem Weg in ein erfülltes Leben
Die Erzengel: 15 Begleiter auf dem Weg in ein erfülltes Leben
Produkt anzeigen
Concrete Semantics: With Isabelle/HOL
Concrete Semantics: With Isabelle/HOL
Produkt anzeigen
Müll 2.0: 70 kreative Projekte aus Recyclingmaterial
Müll 2.0: 70 kreative Projekte aus Recyclingmaterial
Produkt anzeigen
Isabelle/HOL
Isabelle/HOL
Produkt anzeigen
Menü