The B-Book : assigning programs to meanings

By:

Abrial, J-R

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 1996Edition: 1st edDescription: xxxiv, 779 p. ; 26 cmISBN:

0521496195

Subject(s):

PROGRAMACIÓN
B METHOD

Contents:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due
Libro	Biblioteca de la Facultad de Informática	D.1 ABR (Browse shelf(Opens below))	Available

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.

Click on an image to view it in the image viewer

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