| 000 | 00721nam a2200205 a 4500 | ||
|---|---|---|---|
| 008 | 970106s1991^^^^^^^a^^^^^^^^^^000^0^eng^^ | ||
| 020 | _a0-387-97532-2 | ||
| 035 | _aMX001000578567 | ||
| 050 |
_aQA76.76V47 _bA67 |
||
| 100 | 1 |
_aApt, Krzysztof R., _d1949- _eautor |
|
| 245 | 1 | 0 |
_aVerification of sequential and concurrent programs / _cKrzystof r. apt, ernst-rudiger olderog |
| 264 | 1 |
_aNew York : _bSpringer Verlag, _cc1991 |
|
| 300 | _a441 páginas | ||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 490 | 0 | _aTexts and monographs in computer science | |
| 650 |
_aSoftware para computadora _xVerificación |
||
| 700 |
_aOlderog, Ernst-Rudiger, _eautor |
||
| 999 |
_c22063 _d22063 |
||