Program construction and verification /
Main Author: | Backhouse, Roland C. |
---|---|
Format: | Book |
Published: |
Englewood Cliffs, NJ.:
Prentice-Hall International,
c1986
|
Series: | Prentice-Hall international series in computer science
|
Subjects: |
Similar Items
-
Program construction and verification/
by: Backhouse, Roland C., 1948-
Published: (1986) -
Program construction : international summer school /
Published: (1979) -
An introduction to programming and applications with basic/
by: Hull, T. E
Published: (1979) -
Programming in the 1990s: an introduction to the calculation of programs/
by: Cohen, Edward E.
Published: (1990) -
Genetic programming: on the programming of computers by means of natural selection/
by: Koza, John R.
Published: (1992)