Normal view MARC view ISBD view

The B-Book : assigning programs to meanings

Abrial, J-R

The B-Book : assigning programs to meanings - 1st ed. - Cambridge : Cambridge University Press, 1996 - xxxiv, 779 p. ; 26 cm.

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.

ISBN: 0521496195

Standard No.: DIF-M79

Subjects--Topical Terms:
PROGRAMACIÓN
B METHOD

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD