| 000 | 00720nam a22002177a 4500 | ||
|---|---|---|---|
| 005 | 20150315091744.0 | ||
| 008 | 100617t1989 fr ||||| |||| 00| 0 fre d | ||
| 020 | _a2225816603 | ||
| 041 | _afre | ||
| 080 | _a004.42 | ||
| 100 |
_aBackhouse, Roland C. _91848 |
||
| 245 |
_aConstruction et vérification de programmes _cRoland C. Backhouse; traduit par René Quiniou. |
||
| 260 | _aParis, | ||
| 260 |
_aLondon : _bMasson, _c1989. |
||
| 300 | _a[10], 276 p. | ||
| 490 |
_a(Manuels informatiques massson) _915660 |
||
| 500 | _aIncludes index. | ||
| 700 |
_aQuiniou, R. _91849 |
||
| 942 |
_2udc _cBK |
||
| 952 |
_w2010-06-17 _p2010-612596 _r2010-06-17 _40 _00 _bCPL _10 _o004.42 _d2010-06-17 _t2E60158 _70 _2udc _yBK _aCPL |
||
| 999 |
_c867 _d867 |
||