| 000 | 00513pam a2200169a 44500 | ||
|---|---|---|---|
| 008 | 160408b1986 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.642 _bL688a |
||
| 100 | _aLiskov, Barbara | ||
| 245 | 1 | _aABSTRACTION AND SPECIFICATION IN PROGRAM DEVELOPMENT | |
| 260 |
_aCambridge _bMit Press _c1986 |
||
| 300 | _axv,469 | ||
| 440 |
_aMit Electrical Engg. And Computer Science Series _v |
||
| 650 | _aElectronic Digital Computers -- Programming | ||
| 700 | _aGuttag, John | ||
| 964 | _gCIRC | ||
| 997 | _aA94217 C | ||
| 999 |
_c301295 _d301295 |
||