Bücher von Nipkow, Tobias
Diese Seite ist ganz dem Autor Nipkow, Tobias gewidmet. Wir haben
uns bemüht, alle derzeit lieferbaren Titel von Nipkow, Tobias zusammenzustellen.
Selbstverständlich steht mit
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
der derzeit meistgelesene Titel von Nipkow, Tobias auch bei uns an oberster Stelle. Kennen Sie bereits Werke von Nipkow, Tobias?
Oder entdecken Sie Nipkow, Tobias gerade erst neu? In jedem Fall wünschen wir Ihnen viel Spaß mit Ihrem nächsten
Buch. Dürfen wir Ihnen vielleicht einmal ein ganz anderes Buch empfehlen? Dann würden wir uns freuen, wenn Sie unsere persönlichen
Empfehlungen auf der Startseite der
Bücher.World beachten. Oder Sie lassen sich von
unserer aktuellen
Bestseller-Liste inspirieren.
In jedem Fall: Lesen Sie! Schließlich sind gute Bücher und gute Freunde die wichtigsten Wegbegleiter im Leben.
-von-Nipkow,-Tobias-731662494.jpg "Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)")
