| 000 | 00536nam a2200193 4500 | ||
|---|---|---|---|
| 008 | 160616s1991 000 0 | ||
| 245 | _aVerification of sequential and concurrent programs | ||
| 100 | _aApt, Krzysztof R. | ||
| 100 | _aOlderog, Ernst-Rudiger. | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer Verlag | ||
| 260 | _c1991 | ||
| 300 | _a441 | ||
| 440 | _aTexts and Monographs in Computer Science | ||
| 020 | _a3 540 97532 2 | ||
| 650 | _aComputer software - verification. | ||
| 942 |
_cBK _2BK3880 |
||
| 080 | _a681.3.06 APT | ||
| 999 |
_c3880 _d3880 |
||