Normal view MARC view ISBD view

Apt, Krzysztof R. 1949-

Verification of sequential and concurrent programs Krzysztof R. Apt, Ernst-Rüdiger Olderog - 2nd ed - New York Springer cop. 1997 - 364 páginas 25 cm - Graduate texts in computer science .

Includes bibliographical references (p. [343]-352) and indexes

ISBN: 0387948961

LCCN: 96029771

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

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

Dewey Class. No.: 005.1/4