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

ゼロから始めるLean言語入門 手を動かして学ぶ形式数学ライブラリ開発
イメージを拡大
  • 発売日: 2025年9月4日 木曜日 - 発売中
  • 新刊発見日: 2025年09月03日
  • （2025年09月05日 19時28分 JST時点）
楽天BOOKS で購入する
  • 井上亜星
  • ラムダノート
  • 価格： ￥3,520. (税込)
  • EAN： 9784908686214
  • Book パソコン・システム開発
楽天ウェブサービスセンター

新刊チェックキーワード

[広告]