Abrial, Jean-Raymond <br/><br/>
Modeling in Event-B /    
by Jean-Raymond Abrial. 
 - Cambridge :   Cambridge University Press,   2010. 
 - xxvi, 586 p. : ill. ;   
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9780521895569   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.01  / ABR/M