書誌情報

ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発

Name: ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発
Author: 井上亜星 著
ISBN: 9784908686214

購入先を探す

各リンクは販売サイトの検索結果を開きます。価格・在庫・電子版の有無は、移動先でご確認ください。