The B-Book : assigning programs to meanings
Material type:
- 0521496195
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.
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
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)
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.