| 000 | 00750nam a2200229Ia 4500 | ||
|---|---|---|---|
| 005 | 20230509103822.0 | ||
| 008 | 210716s2011 xx 000 0 und d | ||
| 020 | _a9788184897487 | ||
| 040 | _cAIMIT LIBRARY | ||
| 041 | _aeng | ||
| 082 |
_a004.6005 _21 _bNIEH |
||
| 100 |
_aNielson, Hanne Riis. _9100381 |
||
| 245 |
_aSemantics with applications : _bappetizer / _cHanne Riis Nielson and Flemming Nielson. |
||
| 250 | _a1st ed. | ||
| 260 |
_aNew Delhi : _bSpringer , _c2011. |
||
| 300 |
_axii,274p. ; _bPB _c22.2 cm. |
||
| 650 |
_aOperational semantics _9100382 |
||
| 650 |
_aProvably correct implementation _9100383 |
||
| 650 |
_aDenotational semantics _9100384 |
||
| 700 |
_aNielson, Flemming. _9100385 |
||
| 942 |
_2ddc _cBK _e1st _k004.6005 NIEH |
||
| 999 |
_c194099 _d194099 |
||