Mit Bücher.World findest Du Bücher Du in hunderten Online-Shops - von Romanen bis zur Fachliteratur.
Bücher.World ist eine Suchmaschine speziell für Bücher.
Mit Bücher.World kannst Du ganz einfach nach Romanen, Fachliteratur, Sachbüchern, Lexika und mehr im Internet suchen - wir zeigen Dir die besten Angebote, die wir in mehreren hundert Online-Buchfachgeschäften finden konnten. Mit einem Klick gelangst Du auf die Seite des Online-Shops, in dem Du das Buch kaufen kannst.
Kategorien

Bücher von Rob Nederpelt , Herman Geuvers

Sie suchen ein aktuelles Buch von Rob Nederpelt , Herman Geuvers? Unsere Datenbank findet von Rob Nederpelt , Herman Geuvers den Titel Type Theory and Formal Proof: An Introduction. Dürfen wir Ihnen auch ein anderes Buch empfehlen? Vielleicht sagen Ihnen ja unsere persönlichen Empfehlungen auf der Startseite der zu. 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.

Rob Nederpelt , Herman Geuvers

Type Theory and Formal Proof: An Introduction von Cambridge University Press
Type Theory and Formal Proof: An Introduction
74,92 €
gefunden bei Amazon
Einband: Gebundene Ausgabe
Seitenzahl: 490 Seiten
Zum Shop