形式手法の技術書
実践 TLA+Hillel Wayne / 株式会社クイープ
「結果を出す人」はノートに何を書いているのか美崎栄一郎
並行システムの検証と実装磯部祥尚 / 東野輝夫
すべての人のための Java プログラミング 第 3 版立木 秀樹 / 有賀 妙子
はじめての情報理論 (第 2 版)稲井 寛- 責任あるソフトウェアエンジニアリング : 現実社会における Google のケーススタディとともに責任あるソフトウェアエンジニアリング : 現実社会における Google のケーススタディとともにDanielJ.Barrett 松沢敏志 藪崎仁史 井出貴也
- The Book of I2CThe Book of I2C著者不明
- 当たり前のことを当たり前にやろうよ当たり前のことを当たり前にやろうよ著者不明