Specification of Abstract Data Types
Published on 1. January 1997
Book
Hardback
XI, 260 pages
978-3-519-02115-5 (ISBN)
More details
Content
Software-design - data types and specification - Many-sorted algebras - Structuring algebras - Algebras for different signatures - Logic - Loose specifications - Constructive specifications - Specification languages - Modularization and parameterization - A case study