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
60.37 EUR
Preis aktualisiert am: 06-09-2026 20:39:01
Siehe Produktangebot
Gesponsert
Isabelle/HOL
SpringerLink DE
71.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:19
Siehe Produktangebot

Allgemein

Marke
Tobias Nipkow
MPN
Tobias Nipkow 1
ISBN
Tobias Nipkow 3540433767

Eigenschaften

Ähnliche Produkte

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
Isabelle/HOL
Isabelle/HOL
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
Menü