Local cover image
Local cover image

The B-Book : assigning programs to meanings

By: Material type: TextTextPublication 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.
Star ratings
    Average rating: 0.0 (0 votes)

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

Local cover image