Apt, Krzysztof R.,  1949- <br/><br/>
Verification of sequential and concurrent programs / 
Krzystof R. Apt, Ernst-Rudiger Olderog 
 - 2nd ed. 
 - 364 páginas 
 - Graduate texts in computer science .
<br/><br/><label>ISBN: </label>0-387-94896-1 (encuadernado en tela : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computadora--Verificación
<br/><br/><label>LC Class. No.: </label>QA76.76V47  / A67 1997