| 000 | 00404nam a2200157 4500 | ||
|---|---|---|---|
| 008 | 160616s2001 000 0 | ||
| 245 |
_aSystems and software verification _bmodel-checking techniques and tools |
||
| 100 | _aBerard, B, etal | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer | ||
| 260 | _c2001 | ||
| 300 | _a190 | ||
| 020 | _a9783540415237 | ||
| 942 |
_cBK _2BK23179 |
||
| 080 | _a681.9 BER | ||
| 999 |
_c23179 _d23179 |
||