The B-Book

Título:

The B-Book: assigning programs to meanings

Autor:

Abrial, J-R

Temas:

PROGRAMACIÓN ; B METHOD ; 

Edición:

1st ed.

Localización electrónica:

Descripción física:

xxxiv, 779 p. ; 26 cm.

ISBN:

0-521-49619-5

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Cambridge : Cambridge University Press, 1996

Nota general:

Incluye ejercicios y estudio de casos. --

Puede solicitar más fácilmente el ejemplar con: D.1 ABR

Mathematics
Abstract machines
 Programming
Refinement.  Appendix A. Summary of notation
B. Syntax
C. Definitions
D. Visibility rules
E. Rules and axioms
F. Proof obligations.