Validated designs for object-oriented systems / (Record no. 17772)

MARC details
000 -LEADER
fixed length control field 00974cam a22003014a 4500
001 - CONTROL NUMBER
control field 13676643
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20131203095130.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040804t2005 xxka frb 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004056526
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1852338814
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781852338817
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.O35
Item number V35 2005
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.117
Edition number 23
Item number VAL
245 00 - TITLE STATEMENT
Title Validated designs for object-oriented systems /
Statement of responsibility, etc John Fitzgerald ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c.2005.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 402 p. :
Other physical details ill. ;
Dimensions 24 cm.
500 ## - GENERAL NOTE
General note "With 89 figures."
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 383-385) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Object-oriented methods (Computer science)
9 (RLIN) 34507
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
9 (RLIN) 29211
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element System design.
9 (RLIN) 34508
653 ## - INDEX TERM--UNCONTROLLED
Resource For college
Arrived date list December2013
655 ## - INDEX TERM--GENRE/FORM
Form subdivision
-- 34232
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fitzgerald, John,
Dates associated with a name 1965-
9 (RLIN) 34509
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Item type Book - Borrowing
Call number prefix 005.117 VAL
Holdings
Withdrawn status Item status Source of classification or shelving scheme Damaged status Not for loan Vendor Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Koha item type Total Renewals Date last borrowed
    Dewey Decimal Classification     Baccah Central Library Central Library Lower Floor 01/12/2013     005.117 VAL 000029640 15/07/2025 Book - Borrowing    
    Dewey Decimal Classification     Baccah Central Library Central Library Lower Floor 02/12/2013   1 005.117 VAL 000029644 15/07/2025 Book - Borrowing 2 01/11/2016