//]]>

Tests and proofs : (Record no. 4967)

000 -LEADER
fixed length control field 00968nam#a2200241#a#4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20191114144911.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130130 2010 gw eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642139765
041 ## - Language
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Item number T345
111 2# - MAIN ENTRY--MEETING NAME
9 (RLIN) 20561
Meeting name or jurisdiction name as entry element TAP 2010
Number of part/section/meeting (4th :
Date of meeting 2010 :
Location of meeting Malaga, Spain)
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Tests and proofs :
Remainder of title 4th International Conference, Tap 2010, Malaga Spin, July, 1-2,2010, proceedings /
Statement of responsibility, etc Gordon Fraser, Angelo Gargantini (eds).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2010.
300 ## - PHYSICAL DESCRIPTION
Extent x, 182 p. :
Other physical details ill.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
9 (RLIN) 5927
Title Lecture notes in computer science ;
Volume number/sequential designation 6143
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
Form subdivision Congresses.
General subdivision Testing
9 (RLIN) 13295
Topical term or geographic name as entry element Computer software
Form subdivision Congresses.
General subdivision Reliability
9 (RLIN) 13555
Topical term or geographic name as entry element Computer software
Form subdivision Congresses.
General subdivision Quality control
9 (RLIN) 13264
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Fraser, Gordon
Relator term editor
9 (RLIN) 20562
Personal name Gargantini, Angelo
Relator term editor
9 (RLIN) 20563
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Lost status Cost, normal purchase price Withdrawn status Source of acquisition Cost, replacement price Damaged status Barcode Shelving location Current location Public note Full call number
2011-08-03AUM Main Library2013-01-30 2013-01-30 Book 46.64 Jordan Book Centre32.65 AUM-004995English Collections HallAUM Main LibraryJBC/2011/9083005.14 T345

Languages: 
English |
العربية