close
1.

図書
図書
1. 型システム入門 : プログラミング言語と型の理論
Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳
出版情報: 東京 : オーム社, 2013.3
所蔵情報: loading…
2.

図書
図書
2. 抽象によるソフトウェア設計 : Alloyではじめる形式手法
Daniel Jackson著 ; 今井健男 [ほか] 共訳
出版情報: 東京 : オーム社, 2011.7
所蔵情報: loading…