Skip to main content alibris logo

Specification of Abstract Data Types

by

Write The First Customer Review
Specification of Abstract Data Types - Loeckx, Jacques, and Ehrich, Hans-Dieter, and Wolf, Markus
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. After an ...

loading
Specification of Abstract Data Types 1996, Wiley, Chichester, England

ISBN-13: 9780471950677

Hardcover