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