Telecharger Cours

MIT /LCS/TR-237

Two properties of a specification, consistency and behavioral completen~. are defined. A consistent specification is guaranteed to specify at least one data ...



Download