The text is unchanged, but footnotes, formatting or block attributes have changed.
Content blocks 18 → 18
The text is unchanged, but footnotes, formatting or block attributes have changed.
Content blocks 24 → 24
The text is unchanged, but footnotes, formatting or block attributes have changed.
Content blocks 40 → 40
The text is unchanged, but footnotes, formatting or block attributes have changed.
Content blocks 51-52 → 51
−
[SVG diagram]
+
[SVG diagram]
Content blocks 57-58 → 56
−
[SVG diagram]
+
[SVG diagram]
Content blocks 87 → 85
−
{ P } C { Q }
P: 실행전상태가만족해야하는조건
C: 상태를바꾸는명령
Q: 실행후상태가만족해야하는조건
+
{ P } C { Q }
P: Conditionthatmustbesatisfiedbefore execution (Precondition)
C: Commandthatchanges the state
Q: Conditionthatmustbesatisfiedafter execution (Postcondition)
