所蔵情報の表示

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

井上亜星 著
著者: 井上, 亜星, 1997- [A] 出版者: ラムダノート (出版日: 2025)

所蔵情報ID: G00498

製本後の所蔵情報ID:

本棚: 🦊フォックスラボ (📖🦍Gorilla Eagle LIB🦅)

貸出区分: 図書

貸出状態: 🔵在架

付録を含む: いいえ

請求記号:
007.64 イノウ

URL:

受入日:

製本後の請求記号:

製本日:

注記:

検収時刻:

作成時刻: 2026/09/28 20:55:31

更新時刻: 2026/10/01 13:03:22