Login / Signup
Introduction to the Specification Language PROGRES.
Andy Schürr
Published in:
IPSEN Book (1996)
Keyphrases
</>
formal specification
databases
programming language
image coding algorithm
specification language
database systems
software environment
description language