| 000 | 00596nam a2200205 4500 | ||
|---|---|---|---|
| 001 | itec_17176 | ||
| 003 | DLC | ||
| 008 | ///////////////cc //////////////////itec// | ||
| 020 | _a9781848822399 | ||
| 035 | 0 | 0 | _a17176 |
| 050 | _aQA76 L3353s | ||
| 100 | 0 | _aLASKI JANUSZ | |
| 245 | 1 | 0 | _aSOFTWARE VERIFICATION AND ANALYSIS |
| 250 | _a1 PRIMERA EDIC. | ||
| 260 | _aMEXICO D.F. | ||
| 300 | _a224 PAG. | ||
| 504 | _aINCLUYE INDICE | ||
| 650 | _a1.- WHY NOT WRITE CORRET SOFWARET THE FIST TIME2.- HOW TO PROVE A PROGRAM CORRECT PROGRAMS WITHOUT LOOPS3.- PROGRAM DEPENDENCIESÌ | ||
| 942 |
_2lcc _cBK |
||
| 999 |
_c46407 _d46407 |
||