引っ張って更新
栞
tawachanが読んだ本の記録
積読
about
← 本棚
Daniel Jackson
1 冊
計算機科学者。MIT教授、CSAIL副所長、形式手法「Alloy」の考案者
The Essence of Software
The Essence of Software
Daniel Jackson