Mathematics of Program Construction.

Roland Carl Backhouse

Published in: Sci. Comput. Program. (1996)

Keyphrases

computer science
program execution
test cases
construction process
real time
neural network
computer vision
high level
computer programs
static analysis
programming environment
control program
elementary students