Wenn Sie auf Links zu verschiedenen Händlern auf dieser Website klicken und einen Kauf tätigen, kann dies dazu führen, dass diese Website eine Provision erhält. Zu den Partnerprogrammen und Zugehörigkeiten gehört unter anderem das eBay Partner Network.
MEDIMOPS

- Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

MEDIMOPS

- Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Binding : paperback, Label : Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant, medium : paperback, numberOfPages : 436, publicationDate : 2022-06-07, releaseDate : 2022-06-07, languages : english, ISBN : 0262545748

von €58.89
Verkäufer:
MEDIMOPS
Jetzt kaufen

Neueste Produkte

Indem Sie diese Website weiterhin nutzen, bestätigen Sie Ihre Zustimmung zu uns und unseren Partnern, Daten von Ihnen zu sammeln, Cookies zu verwenden, um personalisierte Anzeigen zu schalten, Inhalte auf Sie zuzuschneiden und die Website selbst zu optimieren. Sie können jederzeit mehr über die Erfassung und Verwendung Ihrer Daten erfahren und Ihre Einstellungen ändern. Lesen Sie dazu unsere Datenschutz- und Cookie-Richtlinien.
OK