| 000 | 00988 am a2200301ua 4500 | ||
|---|---|---|---|
| 001 | 008157431 | ||
| 003 | APU | ||
| 005 | 20150713134253.0 | ||
| 008 | 950622s1994 enka || 001 ||eng | ||
| 015 |
_aGB9516113 _2bnb |
||
| 020 | _a1872474101 (pbk.) | ||
| 020 | _a9781872474106 (pbk.) | ||
| 040 |
_aUk _cUk _dSHA _dHK |
||
| 050 |
_aQA76.63 _b.H43 1994 |
||
| 082 | 0 | 4 |
_a005.1 _220 _bHEA 1994 |
| 100 | 1 |
_aHeath, David. _96181 |
|
| 245 | 1 | 0 |
_aIntroductory logic and formal methods / _cDavid Heath, Derek Allum, Lynne Dunckley. |
| 260 |
_aHenley-on-Thames : _bAlfred Waller, _c1994. |
||
| 300 |
_a224p. : _bill. ; _c24cm. |
||
| 500 | _aBibliography: p214. _ Includes index. | ||
| 650 | 0 |
_aComputer software _xDevelopment. _9518 |
|
| 650 | 0 |
_aZ (Computer program language) _96182 |
|
| 653 | 1 |
_aSoftware _aDevelopment _aMathematical models |
|
| 700 | 1 |
_aAllum, Derek. _96183 |
|
| 700 | 1 |
_aDunckley, Lynne. _96184 |
|
| 942 |
_2lcc _cBook _03 |
||
| 999 |
_c2709 _d2709 |
||