| 000 | 00692nam a2200181 a 4500 | ||
|---|---|---|---|
| 005 | 20190520021232.0 | ||
| 008 | 090327s19uu xx 00 eng d | ||
| 100 | 1 | 0 | _aScheurer, Thierry |
| 245 | 1 | 0 |
_aFoundtions of computing : _bsystem development with set theory and logic / _cThierry Scheurer. |
| 260 | 0 |
_aWokingham : _bAddison-Wesley, _cc1994. |
|
| 300 | _axxiv, 668 p. : ill. | ||
| 440 | 0 | _aInternational computing science series | |
| 500 | _aIncludes references and index | ||
| 650 | _aSystem design | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | 4 | _aSet theory | |
| 852 |
_9902.00Php _7OLOPSC |
||
| 999 |
_c34602 _d34602 |
||