Abrial, J-R <br/><br/>
The B-Book :  assigning programs to meanings 

 - 1st ed. 
 - Cambridge :   Cambridge University Press,  1996 
 - xxxiv, 779 p.  ;  26 cm. 
<br/><br/> Incluye ejercicios y estudio de casos. -- 
<br/><br/>Mathematics -- Abstract machines --  Programming -- Refinement. Appendix A. Summary of notation -- B. Syntax -- C. Definitions -- D. Visibility rules -- E. Rules and axioms -- F. Proof obligations. 
<br/><br/><label>ISBN: </label>0521496195 
<br/><br/><label>Standard No.: </label>DIF-M79 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMACIÓN<br/>B METHOD