Advanced formal verification / 
edited by Rolf Drechsler 
 - xxv, 249 páginas :  ilustraciones 
<br/><br/><label>ISBN: </label>1402077211 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuitos electrónicos--Pruebas<br/>Árboles de decisión
<br/><br/><label>LC Class. No.: </label>TK7867  / A38