| 000 | 00583cam0a2200169 4500 | ||
|---|---|---|---|
| 010 |
_a2040157719 _bbr. |
||
| 073 | 0 | _a9782040157715 | |
| 090 |
_a76465 _976465 |
||
| 100 | _a20090903d u||y0frey5050 ba | ||
| 101 | _aafr | ||
| 200 | 1 |
_aAlgorithmique _bLIVR _econstruction, preuve et évaluation des programmes _fpar Pierre Berlioux,... Philippe Bizard,... |
|
| 205 | _a2e éd. | ||
| 210 |
_aParis _cDunod _dDL 1985 _e42-Saint-Étienne _gImpr. Dumas |
||
| 215 |
_a1 vol. (VIII-183 p.) _d24 cm |
||
| 225 | 2 |
_aDunod informatique _x0291-1604 |
|
| 700 | 1 |
_aBerlioux _bPierre _4070 |
|
| 701 | 1 |
_aBizard _bPhilippe _4070 |
|