Algebraic specification.

書誌詳細
第一著者:	Bergstra, J. A.
フォーマット:	図書
言語:	English
出版事項:	New York ACM Press 1989
シリーズ:	ACM Press frontier series
主題:	Abstract data types (Computer science)