004.0151  / Ab87m <br/>
Abrial, Jean-Raymond <br/>
       Modeling in event-B : system and software engineering 
 / Jean-Raymond Abrial 
 .- Cambridge: Cambridge University Press,  2010 
 .- xxvi, 586p . 
<br><u>ISBN:</u> 9780521895569 
<br/><u>Subject Headings:</u> <br/>Formal methods (Computer science);
<br><U>Copy Details:</u><br> Acc. No.: <b>A171558</b>, Full Call No.: 004.0151 Ab87m,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>