specification language
Sign in to saveformal language used in computer science
Connections
specification and description language
Entity
computer science
Entity
algebra
Entity
International Standard Book Number
Entity
programming language
Entity
function
Entity
set
Entity
axiom
Entity
mathematical proof
Entity
digital object identifier
Entity
markup language
Entity
Unified Modeling Language
Entity
formal language
Entity
pseudocode
Entity
computer language
Entity
model theory
Entity
formal system
Entity
systems analysis
Entity
query language
Entity
requirements analysis
Entity