| 000 | 00644nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | 0 | ||
| 005 | 20201015203321.0 | ||
| 008 | 201015b ||||| |||| 00| 0 fre d | ||
| 020 | _a2-86601-395-6 | ||
| 040 |
_aBUAC _bfre _cBEPAC |
||
| 041 | _afre | ||
| 100 | _aGochet, Paul | ||
| 245 |
_aLogique: _bVolume 2:méthodes formelles pour l'étude des programmes _cPaul Gochet |
||
| 260 |
_aParis: _bHermes _ccop. 2000 |
||
| 300 |
_a394 p. _bill. en noire; couv. il. en coul. _c24 cm |
||
| 500 | _aBibliographie: pp.(337-343) Indexe: pp.(346-351) | ||
| 600 | _aPaul Gochet | ||
| 650 | _aLogique | ||
| 700 | _aGribomont, pascal | ||
| 942 |
_2ddc _cLIV |
||
| 999 |
_c60504 _d60504 |
||