The Construction of Formal Specifications / An Introduction to the Model-Based and Algebraic Approaches

Contributor(s):

Material type:

TextPublication details: Mcgraw Hill Book Company, 1994Description: 420ISBN:

77077350

Summary: An accessible guide to the widely used VDM and algebraic approaches to the formal specification of software systems. Preface, Introduction to Formal Specification, Mathematical Structure for Formal Specification, The Sequence and Map Types, Building up VDM Specifications, Algebraic Specification of Abstract Data Types, Algebras and Abstract Data Types, Building Larger Specifications, Prototyping Algebraic Specifications, Background and Comparison and Summary, Glossary, Index.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	005.1/2 TUR (Browse shelf(Opens below))	1	Available	9780000011510

An accessible guide to the widely used VDM and algebraic approaches to the formal specification of software systems. Preface, Introduction to Formal Specification, Mathematical Structure for Formal Specification, The Sequence and Map Types, Building up VDM Specifications, Algebraic Specification of Abstract Data Types, Algebras and Abstract Data Types, Building Larger Specifications, Prototyping Algebraic Specifications, Background and Comparison and Summary, Glossary, Index.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

The Construction of Formal Specifications / An Introduction to the Model-Based and Algebraic Approaches