Computer Aided Verification (Biểu ghi số 786)

000 -LEADER
fixed length control field	00453nam a22001817a 4500
003 - CONTROL NUMBER IDENTIFIER
control field	ISI
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20141125013424.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	141125b xxu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3540600450
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	004
111 ## - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element	7th International conference, CAV 95
Location of meeting	Belgium
Date of meeting	1995
245 ## - TITLE STATEMENT
Title	Computer Aided Verification
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc.	Berlin
Name of publisher, distributor, etc.	Springer
Date of publication, distribution, etc.	1995
300 ## - PHYSICAL DESCRIPTION
Extent	463p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Computer science.
911 ## - EQUIVALENCE OR CROSS-REFERENCE-CONFERENCE OR MEETING NAME [LOCAL, CANADA]
Meeting name or jurisdiction name as entry element	nttnhung
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type	Sách chuyên khảo

ĐKCB
Số kho	Trạng thái hư hỏng	Ký hiệu phân loại	Loại khỏi lưu thông	Nguồn phân loại	Trạng thái mất tài liệu	Cập nhật lần cuối	Không cho mượn	Đăng ký cá biệt	Ngày bổ sung	Kiểu tài liệu	Thư viện sở hữu	Ngày áp dụng giá thay thế	Thư viện hiện tại
Tầng 4	Sẵn sàng	004			Sẵn sàng	2014-11-25	Sẵn sàng	ISI.LT00787	2014-11-25	Sách chuyên khảo	Trung tâm Thông tin - Tư liệu	2014-11-25	Trung tâm Thông tin - Tư liệu

GIỜ PHỤC VỤ BẠN ĐỌC