| 指導がきっと楽しくなる！ICLS指導読本
著者：伊藤貴康 出版社：へるす出版 ( 2024年10月18日頃 ) 価格：2,750円 ISBN13：9784867191019 | |
| Constructive logics for program correctn
著者：伊藤貴康 出版社：丸善プラネット ( 2012年 ) 価格：3,850円 ISBN13：9784863451469 | |
| Constructive theory for programs and the
著者：伊藤貴康 出版社：三恵社 ( 2011年11月 ) 価格：1,466円 ISBN13：9784883619214 | |
| Constructive logics for program correctnRevised
著者：伊藤貴康 出版社：三恵社 ( 2011年04月 ) 価格：1,980円 ISBN13：9784883618583 | |
| プログラム理論
著者：伊藤貴康 出版社：三恵社 ( 2010年06月 ) 価格：3,685円 ISBN13：9784883617548 | |
| Mathematical theory of programs
著者：伊藤貴康 出版社：三恵社 ( 2010年10月 ) 価格：2,750円 ISBN13：9784883617838 | |
|
| ソフトウェア工学基礎論
著者：伊藤貴康 出版社：丸善出版 ( 1981年03月 ) 価格：2,530円 ISBN13：9784621025635 | |
|
| プログラム理論
著者：伊藤貴康 出版社：コロナ社 ( 1975年 ) 価格：3,190円 ISBN13：9784339022209 |