| 000 | 00695nam a2200217Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230405135306.0 | ||
| 008 | 180620b2001 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783540415237 | ||
| 040 | _cJUIT, Solan | ||
| 082 | _a005.1 BER | ||
| 100 | _aBérard, Béatrice | ||
| 245 |
_aSystems and Software Verification: model-checking techniques and tools _cby B. Berard |
||
| 260 |
_aBerlin ; New York _bSpringer Verlag, Netherlands _c2001 |
||
| 300 | _axii, 190p. | ||
| 505 | _a<p><strong>Table of Contents:</strong>< | ||
| 650 | _aComputer software - Verification | ||
| 650 | _aComputer systems - Verification | ||
| 906 | _acbf30da7ac10491900780efeed34b74e | ||
| 942 |
_2ddc _cRB |
||
| 999 |
_c51320 _d51320 |
||