| 000 | 00418nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 170123s9999 xx 000 0 und d | ||
| 020 |
_a1402074980 _c(pbk) |
||
| 082 |
_223 _a621.395 _bFOS |
||
| 100 | _aFoster, Harry D. | ||
| 245 | 0 | _aAssertion-based design | |
| 260 |
_aBoston: _bKluwer Academic, _c2003 |
||
| 300 |
_axvi, 304 p.; _bill.: _c |
||
| 700 | _aKrolnik, Adam C. | ||
| 700 | _aLacey, David J | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c27007 _d27007 |
||