Bücher von Chlipala, Adam
Sie suchen ein aktuelles Buch von Chlipala, Adam? Unsere Datenbank findet von
Chlipala, Adam den Titel
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant.
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.
