Algebraic System Specification and Development by

Lecture Notes in Computer Science

Algebraic System Specification and Development

184 pages paperback

1 edition

nonfiction computer science informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role...

Show More

Community Reviews

Loading...

Content Warnings

Loading...