Coqの技術書 (4 冊)

動かして学ぶ!Rust入門

動かして学ぶ!Rust入門著者不明愛すること、理解すること、愛されること著者不明

IDENTITY(アイデンティティ)

IDENTITY(アイデンティティ)著者不明プログラミング言語の形式的意味論入門G.ウィンスケル/末永　幸平/勝股　審也/中澤　巧爾/西村　進/前田　敦司¥4,950