回路不变量断言

中

拼音： huí lù bù biàn liàng duàn yán
日本語訳ループ不変表明

拼音： huí lù bù biàn liàng duàn yán
英語訳 loop invariant assertion

索引トップ用語の索引ランキング