Vista normal Vista MARC Vista ISBD

Clarke, E. M., 1945- ,

Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith - Second edition - xx, 402 páginas : ilustraciones - The cyber-physical systems series .

ISBN: 9780262038836

Subjects--Topical Terms:
Sistemas para computadoras--Verificación

LC Class. No.: QA76.76V47 / C53 2018

Dewey Class. No.: 004.2/1