Software reliability methods (Record no. 5639)

000 -LEADER
fixed length control field 00463 a2200157 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387951067
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging DLC
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Peled, Doron,
245 10 - TITLE STATEMENT
Title Software reliability methods
Statement of responsibility, etc. Doron A. Peled ; foreword by Edmund M. Clarke.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c2001.
300 ## - PHYSICAL DESCRIPTION
Extent xix, 331 p. :
Other physical details ill. ;
Dimensions 25 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Texts in computer science
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Reliability.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Call number prefix 005 PEL
Source of classification or shelving scheme
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
          Central Library (CL) Central Library (CL) General Stacks 02/28/2005 Academic Book Company 5093.89   005 PEL SEECS005309 11/14/2012 01/05/2017 Book
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.