WELCOME TO MOI UNIVERSITY LIBRARY SERVICES

Please, type in the keywords, the title, subject, or author name below for your search. For detailed manual see this manual
Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: The McGraw-Hill international series in software engineeringPublication details: New York : McGraw-Hill, c1994.Description: xii, 420 pages : illustrationsISBN:
  • 0077077350 :
Subject(s): DDC classification:
  • 005.1/2 20
LOC classification:
  • QA 76.758 .T86 1994
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Loan Margaret Thatcher Library Second Floor QA 76.758.T86 1994 (Browse shelf(Opens below)) Available 10053106
Loan Margaret Thatcher Library Second Floor QA 76.758.T86 1994 (Browse shelf(Opens below)) Available 10053105

Includes bibliographical references and indexes.

There are no comments on this title.

to post a comment.

Copyright @ The Margaret Thatcher Library August 2023
T