Program Development in an Algebraic Setting.

Published in: Formal Program Development (1993)

Keyphrases

case study
programming environments
neural network
development process
development environment
real time
data sets
databases
information systems
digital libraries
information technology
mobile devices
information processing
computer programs