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

000 -LEADER
fixed length control field 00534nam a2200157Ia 4500
001 - CONTROL NUMBER
control field 920
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20261006003506.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120911s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0077077350
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12 TUR
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Turner, J. G.
9 (RLIN) 1578
245 ## - TITLE STATEMENT
Title The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London ; New York : McGraw-Hill, c1994.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 420 p. : ill. ; 25 cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering.
9 (RLIN) 1579
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Nilai University Library Nilai University Library 09/11/2012   005.12 TUR 98 09/11/2012 09/11/2012 Open Shelf Books