TY  - BOOK
AU  - Abrial,J-R
TI  - The B-Book: assigning programs to meanings
SN  - 0521496195
PY  - 1996///
CY  - Cambridge
PB  -  Cambridge University Press
KW  - PROGRAMACIÓN
KW  - B METHOD
N1  - Incluye ejercicios y estudio de casos. --;  Mathematics -- Abstract machines --  Programming -- Refinement. Appendix A. Summary of notation -- B. Syntax -- C. Definitions -- D. Visibility rules -- E. Rules and axioms -- F. Proof obligations
ER  -