TY  - BOOK
AU  - Apt,Krzysztof R.
AU  - Olderog,Ernst-Rudiger
TI  - Verification of sequential and concurrent programs
T2  - Graduate texts in computer science
SN  - 0-387-94896-1 (encuadernado en tela : papel alcalino)
AV  - QA76.76V47 A67 1997
PY  - 1997///
CY  - New York
PB  - Springer Verlag
KW  - Software para computadora
KW  - Verificación
ER  -