Vista normal Vista MARC Vista ISBD

Apt, Krzysztof R., 1949-

Verification of sequential and concurrent programs / Krzystof R. Apt, Ernst-Rudiger Olderog - 2nd ed. - 364 páginas - Graduate texts in computer science .

ISBN: 0-387-94896-1 (encuadernado en tela : papel alcalino)

Subjects--Topical Terms:
Software para computadora--Verificación

LC Class. No.: QA76.76V47 / A67 1997