Book Reviews: Programming from Specifications, Second Edition, Carroll Morgan.

Published in: ACM SIGSOFT Softw. Eng. Notes (1997)

Keyphrases

reactive systems
programming language
programming environment
neural network
formal specification
delay insensitive
development environment
object oriented programming
high level language
real time
databases
real world
artificial intelligence
relational databases
fully functional