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):

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	Barcode
Libro	Biblioteca de la Facultad de Informática	D.1 ABR (Browse shelf(Opens below))	Available		DIF-00053

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	D.0 FRE Software perspectives : the system is the message	D.1 ABA Introducción a la programación /	D.1 ABR The B-Book : assigning programs to meanings	D.1 ABR The B-Book : assigning programs to meanings	D.1 ALA The design of well-structured and correct programs	D.1 ALA The design of well-structured and correct programs	D.1 BAL Programación metódica	Next

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