Apt, Krsysztof R. <br/><br/>
Verification of sequential and concurrent programs 

 - 2nd ed. 
 - Nueva York :  ,  c1997 
 - xvii, 364 p. ;  24 cm. 
 - Graduate texts in computer science .
<br/><br/> Incluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. -- 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>0387948961 
<br/><br/><label>Standard No.: </label>DIF001829 
<br/><br/><label>Subjects--Topical Terms: </label><br/>VERIFICACIÓN DE PROGRAMAS