Verification of sequential and concurrent programs
Apt, Krsysztof R.
Verification of sequential and concurrent programs - 2nd ed. - Nueva York : , c1997 - xvii, 364 p. ; 24 cm. - Graduate texts in computer science .
Incluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. --
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.
0387948961
DIF001829
VERIFICACIÓN DE PROGRAMAS
Verification of sequential and concurrent programs - 2nd ed. - Nueva York : , c1997 - xvii, 364 p. ; 24 cm. - Graduate texts in computer science .
Incluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. --
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.
0387948961
DIF001829
VERIFICACIÓN DE PROGRAMAS