Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
June 22, 2018 | History

The construction of formal specifications 1 edition

Cover of: The construction of formal specifications | J. G. Turner

No ebook available.

Prefer the physical book? Check nearby libraries with:

Buy this book

Dang. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

The construction of formal specifications
an introduction to the model-based and algebraic approaches
J.G. Turner, T.L. McCluskey.

Published 1994 by McGraw-Hill in London, New York .
Written in English.

Edition Notes

Includes bibliographical references and indexes.

The McGraw-Hill international series in software engineering


Dewey Decimal Class
Library of Congress
QA76.758 .T86 1994

The Physical Object

xii, 420 p. :
Number of pages

ID Numbers

Open Library
Internet Archive
LC Control Number

History Created December 10, 2009 · 4 revisions Download catalog record: RDF / JSON

June 22, 2018 Edited by ImportBot import new book
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page