Limit search to available items
Book Cover
Book
Author Turner, J. G. (John G.), 1946-

Title The construction of formal specifications : an introduction to the model-based and algebraic approaches / J.G. Turner, T.L. McCluskey
Published London ; New York : McGraw-Hill, [1994]
©1994

Copies

Location Call no. Vol. Availability
 W'PONDS  005.12 Tur/Cof  AVAILABLE
Description xii, 420 pages : illustrations ; 25 cm
Series The McGraw-Hill international series in software engineering
McGraw-Hill international series in software engineering.
Analysis Software Design
Bibliography Includes bibliographical references and indexes
Subject Software engineering.
Author McCluskey, T. L., 1957-
LC no. 93031699
ISBN 0077077350