| 
|
Quote: algebraic specification allows multiple implementations of an abstract data type
Topic:
abstract data type
Topic:
requirement specification by assertion
Quotation Skeleton
Given suitable restrictions on the form that axiomatizations … be constructed. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: abstract data type (64 items)
Topic: requirement specification by assertion (28 items)