BOCA,P.P. & OTHERS <br/><br/>
FORMAL METHODS - STATE OF ART AND NEW DIRECTIONS 

 - VERLAG  Springer  2010 
 - xxiii+273p,.24X16Cms 
<br/><br/><label>ISBN: </label>978184882735 
<br/><br/><label>Dewey Class. No.: </label>621.38195 B664