| 000 | 00795nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20250623103640.0 | ||
| 008 | 250623b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9780198538547 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a004.015 _bBOR |
||
| 100 | _aE. Börger | ||
| 245 |
_a Specification And Validation Methods _c/E. Börger |
||
| 260 |
_a, new york, _bClarendon ; oxford university press, oxford _c 1995 |
||
| 300 |
_a 460 pages : _billustrations ; _c24 cm. |
||
| 504 | _aindex | ||
| 520 | _aCombining an advanced introduction with notes on the development of new methods, this monograph elaborates on a number of applications which span software and hardware design. | ||
| 650 | _a computerarchitektur computers mathematical logic langages de programmation logiciels essais | ||
| 942 | _cBK | ||
| 999 |
_c573521 _d573521 |
||