Dafnyの技術書 (2 冊)

プログラミング言語の基礎概念五十嵐淳基本からわかるシーケンス制御 : カラー徹底図解 : 電磁リレーによるシーケンス制御についてわかりやすく解説石橋,正基,1974-