The _______________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus ?

A. set

B. sequence

C. semantic domain

D. syntactic domain

Found an error? Read our corrections policy and submit a sourced correction below. You can also share a useful explanation in your own words.

Discuss the answer or suggest a sourced correction
Thank you for contributing.
Your comment was submitted and will appear after editorial review.

Your email is used only for moderation and is never displayed. Spam, copied material and fabricated endorsements are rejected.