Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Gesponsert
preigu.de
59.35 EUR
Preis aktualisiert am: 27-04-2026 02:08:03
Gesponsert
Medimops DE
63.94 EUR
Preis aktualisiert am: 27-04-2026 10:31:05
Gesponsert
SpringerLink DE
64.19 EUR
Preis aktualisiert am: 27-04-2026 06:49:02
Allgemein
Marke
Tobias Nipkow
MPN
Tobias Nipkow 1
ISBN
Tobias Nipkow 3540433767
