The construction of formal specifications
Subtitle: an introduction to the model-based and algebraic approaches
By: J.G. Turner, T.L. McCluskey.
Contributors: McCluskey, T. L. 1957-
Series: The McGraw-Hill international series in software engineering
Publisher: McGraw-Hill
Published: 1994
Place of publication: London; New York
Language: eng
Number of pages: 420
Subjects: Software engineering.
Notes: Includes bibliographical references and indexes.