| 000 | 00596pam a2200193a 44500 | ||
|---|---|---|---|
| 008 | 160408b1978 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.642 _bC765p |
||
| 100 | _aConstable, Robert L. | ||
| 245 | 1 |
_aPROGRAMMING LOGIC _cWITH AN INTRODUCTION TO THE PL/CV VERIFIER |
|
| 260 |
_aCambridge _bWinthrop Pub. _c1978 |
||
| 300 | _ax,389 | ||
| 500 | _aReferences : P. 370-381 | ||
| 650 | _aPl/Cv (Computer Program Language) | ||
| 650 | _aComputer Programy -- Testing | ||
| 650 | _aLogic, Symbolic And Mathematical | ||
| 700 | _aO'Donnell, Michael J. | ||
| 964 | _gCIRC | ||
| 997 | _aA60944 C | ||
| 999 |
_c278777 _d278777 |
||