TLA+の技術書 (3 冊)

基本からわかるシーケンス制御 : カラー徹底図解 : 電磁リレーによるシーケンス制御についてわかりやすく解説石橋,正基,1974-プログラミング言語の基礎概念五十嵐淳¥2,035実践TLA+Hillel Wayne/株式会社クイープ