The Theory and practice of refinement : approaches to the formal development of large-scale software systems / [edited by] John A. McDermid.

Contributor(s):

McDermid, John
Workshop on the Theory and Practice of Refinement (1988 : York, England)

Material type: Text

TextPublication details: London ; Boston : Butterworths, 1989.Description: 217 p. : ill. ; 24 cmISBN:

0408039817 :

Subject(s):

Computer software -- Development -- Congresses
Interactive computer systems -- Congresses

DDC classification:

005.1 20

LOC classification:

QA76.76.D47 T48 1989

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	Status	Date due	Barcode
Books	Informatics and Virtual Education Library Collection Archive	QA76.76.D47 T48 1989 (Browse shelf(Opens below))	Available		13139

"Based on the proceedings of a Workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988"--Foreword.

Includes bibliographical references.

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)