📖🦍Gorilla Eagle Library🦅
資料情報
BIBLIOGRAPHIC INFORMATION
EXPLORE THE LIBRARY
このQRコードからOPACで
詳しい情報を確認できます。
詳しい情報を確認できます。
https://eagle.gorilla-zone.org/manifestations/528
ゼロから始めるLean言語入門 : 手を動かして学ぶ形式数学ライブラリ開発
| タイトルヨミ | ゼロ カラ ハジメル Lean ゲンゴ ニュウモン : テ オ ウゴカシテ マナブ ケイシキ スウガク ライブラリ カイハツ |
|---|---|
| 著者 | 井上, 亜星, 1997- |
| 出版者 | ラムダノート |
| 出版年 | 2025 |
| 出版地 | 東京 |
| 形態 | 215 p |
| 大きさ | 21 cm |
| ISBN | 9784908686214 |
| 分類 | 007.64 |
| 件名 | プログラミング用言語 |
| 請求記号 | 007.64|イノウ |
説明プログラミングと数学をつなぐ（提供元: 出版情報登録センター（JPRO））
所蔵情報 / HOLDINGS
| 資料番号 | 所蔵館 | 書棚 | レーティング | 資料状態 | 持出可否 |
|---|---|---|---|---|---|
| G00498 | 📖🦍Gorilla Eagle LIB🦅 | 🦊フォックスラボ | A | 🔵在架 | 持出可 |