Abrial, Jean-Raymond <br/><br/>
Modeling in Event-B : system and software engineering 
Jean-Raymond Abrial 
 - Cambridge  Cambridge University Press  2010 
 - xxvi, 586 p. : ill. ; 26 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521895569 
<br/><br/><label>ISSN: </label>2010001382 
<br/><br/><label>Subjects--Topical Terms: </label><br/>B method (Computer science)<br/>Computer science - Mathematical models<br/>Computer systems - Verification<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.0151 ABR