形式手法の技術書 (6 冊)

The Book of I2C

The Book of I2C著者不明

当たり前のことを当たり前にやろうよ

当たり前のことを当たり前にやろうよ著者不明

責任あるソフトウェアエンジニアリング : 現実社会におけるGoogleのケーススタディとともに

責任あるソフトウェアエンジニアリング : 現実社会におけるGoogleのケーススタディとともにDanielJ.Barrett 松沢敏志 藪崎仁史 井出貴也はじめての情報理論(第2版)稲井 寛¥2,860並行システムの検証と実装磯部祥尚/東野輝夫¥5,060実践TLA+Hillel Wayne/株式会社クイープ