COMPUTER TECHNOLOGY シリーズ

	形式手法によるソフトウェアの仕様記述と検証 組み込みソフトへの数理的アプローチ 定価3,360円(税込)　JAN9784789838085　2012/4/5発売
	実行ファイルを作成するために必須の技術 リンカ・ローダ実践開発テクニック 定価2,940円(税込)　JAN9784789838078　2010/8/9発売
	ソフトウェア開発で論理的な考え方をいかに応用するか 組み込みエンジニアのためのロジカル・シンキング入門 定価2,310円(税込)　JAN9784789838061　2008/10/11発売