電子書籍

Certified Programming with Dependent Types (English Edition)

発売日2018-03-02発売中

著者

Adam Chlipala

形式

Kindle版

新刊発見日

2018年3月6日

最終更新

2018年3月6日 05:17

販売サイトで詳細を見る他のサイト