Hoare triples provide a concise way to reason about the correctness of imperative programs.
ホーア論理における三つ組は、命令型プログラムの正しさを論じる簡潔な手段を提供する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
