Esperza,Javie <br/><br/>
Logics and languages for reliability and security 

 - Nether land  IOS Press  2010 
 - ix,325p. 
<br/><br/><label>ISBN: </label> RS 10179.00 
<br/><br/><label>Dewey Class. No.: </label>004 ESP,J