Clarke, E. M.,  1945- , <br/><br/>
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 .
<br/><br/><label>ISBN: </label>9780262038836 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Sistemas para computadoras--Verificación
<br/><br/><label>LC Class. No.: </label>QA76.76V47  / C53 2018 
<br/><br/><label>Dewey Class. No.: </label>004.2/1