Program construction and verification
Saved in:
Main Author: | Backhouse, Roland C. 1948- |
---|---|
Format: | Book |
Published: |
Englewood Cliffs, N.J.
Prentice-Hall International
1986
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Program construction calculating implementations from specifications
by: Backhouse, Roland C. 1948-
Published: (2003) -
On the construction of programs
Published: (1980) -
Syntax of programming languages theory and practice
by: Backhouse, Roland C.
Published: (1979) -
Programming an introduction to computer techniques
by: Maurer, Ward Douglas 1938-
Published: (1972) -
Unifying theories of programming
by: Hoare, C. A. R. 1934- Charles Anthony Richard
Published: (1998)