Villar, Eugenio. <br/><br/>
Embedded Systems Specification and Design Languages  Selected contributions from FDL’07 /  [electronic resource] : 
edited by Eugenio Villar. 
 - 1a ed. 
 - Dordrecht :  Springer Netherlands,  2008. 
 -  v.: digital 
 - Lecture Notes in Electrical Engineering,  10  1876-1100 ; .
<br/><br/><label>ISBN: </label>9781402082979 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computadoras--Lenguajes descriptivos--Congresos<br/>Métodos formales (Computación)<br/>Ingeniería de software<br/>Software para computadora -- Verificación
<br/><br/><label>LC Class. No.: </label>TK7885.7  / V55 2008