MILソケットコネクタ端子台 - MISUMI-VONA2014 端子台 コネクタ端子台 (圧着端子タイプ) PLC コネクタ端子台 FCN コネクタ端子台 MILソケット
ソフトウェア工学 (7)...
40
Transcript of ソフトウェア工学 (7)...
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
➔
◼
◼
◼
◼
◼
◼
◼
◼
→
int f(int x) { return 2 * x; }
int h(int x, int y) {
if (x != y)
if (f(x) == x + 10)
abort(); /* error */
return 0;
}
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼
◼