Model-based software testing and analysis with C�A / (Record no. 133411)

MARC details
000 -LEADER
fixed length control field 00867cam a2200265 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521687614 (pbk.)
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.T48
Item number JON
003 - CONTROL NUMBER IDENTIFIER
control field
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230123124952.0
040 ## - CATALOGING SOURCE
Transcribing agency NUST
245 00 - TITLE STATEMENT
Title Model-based software testing and analysis with C�A /
Statement of responsibility, etc. Jonathan Jacky ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 2008.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 349 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
500 ## - GENERAL NOTE
General note Includes Index.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Testing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Quality control.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element C�A (Computer program language)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jacky, Jonathan.
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b10268005
b 08-10-09
c 01-10-09
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Ordinary Loan Books
Holdings
Date last seen Total Checkouts Full call number Barcode Cost, replacement price Price effective from Koha item type Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Withdrawn status Home library Current library Shelving location Date acquired Cost, normal purchase price
01/23/2023 2 QA76.76.T48 JAC 92004011932 80.00 01/23/2023 BOOKS   LCC     NFIC   MAIN MAIN GEN 01/23/2023 80.00