| 000 | 00982nam a2200349 a 4500 | ||
|---|---|---|---|
| 001 | vtls000136678 | ||
| 003 | VRT | ||
| 005 | 20240802184353.0 | ||
| 008 | 160217s2000 fr b 000 0 fre d | ||
| 020 | _a2921180669 | ||
| 039 | 9 |
_a201602291001 _byenh _c201602221646 _dhaultt _c201602221631 _dhaultt _y201602171128 _zthupt |
|
| 040 | _aVNU | ||
| 041 | 1 | _afre | |
| 044 | _aFR | ||
| 082 |
_a005.1 _bTRE 2000 _214 |
||
| 090 |
_a005.1 _bTRE 2000 |
||
| 100 | 1 |
_aTremblay, Guy, _d1958- |
|
| 245 | 1 | 0 |
_aModélisation et spécification formelle des logiciels / _cGuy Tremblay |
| 260 |
_aParis : _bLoze-Dion, _c2000 |
||
| 300 |
_ax, 597 p.; _c24cm |
||
| 650 | 0 | _aLogiciels-Modèles de conception | |
| 650 | 0 | _aLogiciels-Spécifications | |
| 650 | 0 | _aMéthodes formelles (Informatique) | |
| 653 | _aMô hình hóa | ||
| 653 | _aPhần mềm thiết kế | ||
| 653 | _aKhoa học máy tính | ||
| 900 | _aTrue | ||
| 925 | _aG | ||
| 926 | _a0 | ||
| 927 | _aSH | ||
| 942 | _c1 | ||
| 999 |
_c340797 _d340797 |
||