Specification of Abstract Data Types (German Edition)

0 avg rating
( 0 ratings by Goodreads )
 
9783519021155: Specification of Abstract Data Types (German Edition)
View all copies of this ISBN edition:
 
 

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 informal discussion on the design of reliable software, the book presents the main notions and properties of algebras. Next it investigates logic, introducing a general notion of logic, encompassing those commonly used. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with a case study illustrating the use of abstract data type specification in software design. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.

"synopsis" may belong to another edition of this title.

From the Publisher:

This book aims to provide college professors, software developers, and researchers with an authoritative introduction to the mathematical foundations of program specification, covering important topics such as logic semantics, and term writing techniques. Dealing with the mathematical foundations of ADTs, this book distinguishes between logic-based models and algebraic methods. The final chapter deals with practical applications of specification techniques, based on a major case study. Includes exercises.

From the Back Cover:

This textbook provides an introduction to abstract data type specification. After an informal discussion on the design of reliable software, it presents the main notions and properties of algebras. Next it investigates logic. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with an extended example illustrating the use of abstract data type specification in software design. This book differs from other textbooks on the same subject in at least two respects. Firstly, it avoids fixing the logic or concentrating on a particular specification method - instead it introduces a general notion of logic encompassing those commonly used, and it presents three specification methods leading to loose specifications, initial specifications and constructive specifications respectively. Secondly, it treats the subject by making use of classical set-theoretical notions instead of category theory. An appendix briefly explains the categorical approach. While treating the subject with mathematical precision, the book contains a large number of comments, examples and exercises.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780471950677: Specification of Abstract Data Types (Wiley Teubner on Applicable Theory in Computer Science)

Featured Edition

ISBN 10:  047195067X ISBN 13:  9780471950677
Publisher: Wiley, 1996
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Hans-Dieter Ehrich; Markus Wolf
Published by Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH
ISBN 10: 3519021153 ISBN 13: 9783519021155
Used Hardcover Quantity Available: 1
Seller:
ThriftBooks
(Auburn, WA, U.S.A.)
Rating
[?]

Book Description Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH. Hardcover. Condition: Very Good. A copy that has been read, but remains in excellent condition. Pages are intact and are not marred by notes or highlighting, but may contain a neat previous owner name. The spine remains undamaged. At ThriftBooks, our motto is: Read More, Spend Less. Seller Inventory # G3519021153I4N00

More information about this seller | Contact this seller

Buy Used
US$ 73.88
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

2.

Wolf, Markus, Ehrich, Hans-Dieter
Published by Vieweg+Teubner Verlag (1997)
ISBN 10: 3519021153 ISBN 13: 9783519021155
Used Hardcover Quantity Available: 1
Seller:
Goldstone Books
(Llandybie, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 1997. Hardcover. Condition: Good. All orders are dispatched the following working day from our UK warehouse. Established in 2004, we have over 500,000 books in stock. No quibble refund if not completely satisfied. Seller Inventory # mon0002920893

More information about this seller | Contact this seller

Buy Used
US$ 154.95
Convert currency

Add to Basket

Shipping: US$ 2.95
From United Kingdom to U.S.A.
Destination, rates & speeds