| 000 | 00505nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 151015s1985||||xx |||||||||||||| ||und|| | ||
| 013 | _aPILC | ||
| 020 | _a442263228 | ||
| 040 | _cSICM LIBRARY | ||
| 082 | _a005.3 M59i | ||
| 100 | 1 | _aMili, Ali | |
| 245 | 3 |
_aAn Introduction to Formal Program Verification / _cMili, Ali. |
|
| 260 |
_aNew York : _bVan Nostrand Reinhold Company Inc, _c1985. |
||
| 300 | _a291 pages | ||
| 500 | _aIndex | ||
| 650 |
_aComputer programs _xVerification |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c29651 _d29651 |
||