Abrial, Jean-Raymond, <br/><br/>
Modeling in Event-B :  system and software engineering / 
Jean-Raymond Abrial 
 - xxvi, 586 páginas 
<br/><br/><label>ISBN: </label>9780521895569 0521895561 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Métodos formales (Computación)<br/>Método B (Computación)<br/>Computación--Modelos matemáticos<br/>Sistemas para computadoras--Verificación
<br/><br/><label>LC Class. No.: </label>QA76.9F67  / A37 
<br/><br/><label>Dewey Class. No.: </label>004.01/51