Q.

Axiomatic semantics specifies each statement of a language in terms of asemis

A. predicate translation
B. predicate transformer
C. predicate q
D. none of this
Answer» B. predicate transformer
1.7k
0
Do you find this helpful?
7

Discussion

No comments yet