Vista normal Vista MARC Vista ISBD

Manna, Zohar,

Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli - xviii, 512 páginas : ilustraciones ;

ISBN: 0387944591 (papel libre de acido)

Subjects--Topical Terms:
Software para computadora--Verificación
Procesamiento paralelo (Computadoras electrónicas)

LC Class. No.: QA76.76V47 / M35

Dewey Class. No.: 005.2