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

The Book of I2C

The Book of I2C著者不明

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

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

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

責任あるソフトウェアエンジニアリング : 現実社会におけるGoogleのケーススタディとともにDanielJ.Barrett 松沢敏志 藪崎仁史 井出貴也実践TLA+Hillel Wayne/株式会社クイープ並行システムの検証と実装磯部祥尚/東野輝夫