DE
FR
"Tobias Nipkow"
(3 Artikel gefunden)
Functional Data Structures and Algorithms
Tobias Nipkow
E-Book (epub)
30.09.2025
CHF
39.90
Download steht sofort bereit
Concrete Semantics
Tobias Nipkow, Gerwin Klein
E-Book (pdf)
03.12.2014
CHF
59.00
Download steht sofort bereit
Isabelle/HOL
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
E-Book (pdf)
31.07.2003
CHF
65.00
Download steht sofort bereit
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
