ページ番号：28 セクション番号：2.2 内容タイトル：誤字 誤っている内容：「Guarded commandsで 正しい内容：「Guarded commands, nondeterminacy and formal derivation of programs(ガード付きコ マンド、非決定性とプログラムの形式的導出、http://bit.ly/DijkstraGuarded)」で その他コ...