Schneider, Klaus,  1967-, <br/><br/>
Verification of reactive systems :  formal methods and algorithms / 
Klaus Schneider 
 - xiv, 600 páginas :  ilustraciones 
 - Texts in theoretical computer science .
<br/><br/><label>ISBN: </label>3540002960 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Sistemas para computadoras--Verificación<br/>Métodos formales (Computación)<br/>Algoritmos computacionales
<br/><br/><label>LC Class. No.: </label>QA76.76V47  / S34