In Example 2.4, we have an abstract

In Example 2.4, we have an abstract
data-type Stack specified in a many-sorted algebra.

Kết quả (Việt) 1:

Trong ví dụ 2.4, chúng tôi có một trừu tượngkiểu dữ liệu ngăn xếp được chỉ định trong đại số sắp xếp nhiều.

Kết quả (Việt) 2:

Trong ví dụ 2.4, chúng tôi có một bản tóm tắt
dữ liệu kiểu stack quy định tại một đại số nhiều-được sắp xếp.