Stepwise Construction of Algebraic Specifications.

Paulo A. S. Veloso Antonio L. Furtado

Published in: Advances in Data Base Theory (1982)

Keyphrases

high level
image processing
multiresolution
higher order
delay insensitive
databases
digital libraries
artificial neural networks
formal specification