| 000 | 01110nam a2200241 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170224.0 | ||
| 008 | 230201s1997 xxu r 000 0 eng d | ||
| 020 | _a0387948961 | ||
| 024 | 8 |
_aDIF-M1930 _b2011 _zDIF001839 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aApt, Krsysztof R. | |
| 245 | 1 | 0 | _aVerification of sequential and concurrent programs |
| 250 | _a2nd ed. | ||
| 260 |
_aNueva York : _b[S.n.], _cc1997 |
||
| 300 |
_axvii, 364 p. ; _c24 cm. |
||
| 490 | 0 | _aGraduate texts in computer science | |
| 500 | _aIncluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. -- | ||
| 505 | 0 | _a Deterministic programs -- Disjoint parallel programs -- Parallel programs with shared variables -- Parallel programs with synchronization -- Nondeterministic programs -- Distributed programs -- Fairness -- App. A. Semantics -- App. B. Axioms and proof rules -- App. C. Proof systems -- App. D. Proof outlines. | |
| 650 | 4 | _aVERIFICACIÓN DE PROGRAMAS | |
| 700 | 1 | _aOlderog, Ernst-Rüdiger | |
| 942 | _cBK | ||
| 999 |
_c51753 _d51753 |
||