Verification of sequential and concurrent programs

Título:

Verification of sequential and concurrent programs

Autor:

Apt, Krsysztof R.

Colaboradores:

Olderog, Ernst-Rüdiger

Temas:

VERIFICACIÓN DE PROGRAMAS ; 

Edición:

2nd ed.

Descripción física:

xvii, 364 p. ; 24 cm.

ISBN:

0-387-94896-1

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Nueva York, c1997

Nota general:

Incluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. --

Puede solicitar más fácilmente el ejemplar con: D.2.4 APT

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.