Vista normal Vista MARC Vista ISBD

Schneider, Klaus, 1967-,

Verification of reactive systems : formal methods and algorithms / Klaus Schneider - xiv, 600 páginas : ilustraciones - Texts in theoretical computer science .

ISBN: 3540002960 (papel alcalino)

Subjects--Topical Terms:
Sistemas para computadoras--Verificación
Métodos formales (Computación)
Algoritmos computacionales

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