Welcome to Central Library, SUST

Verification, model checking, and abstract interpretation : (Record no. 60581)

MARC details
000 -LEADER
fixed length control field 01012nam a22002417a 4500
001 - CONTROL NUMBER
control field sulbI000478
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160522142238.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160522s2006 gw a b 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540311393 (soft cover : alk. paper)
International Standard Book Number 3540311394 (soft cover : alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
-- BD-SySUS
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Edition number 22
Item number EMV
245 10 - TITLE STATEMENT
Title Verification, model checking, and abstract interpretation :
Remainder of title 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Statement of responsibility, etc. [edited by] E. Allen Emerson, Kedar S. Namjoshi.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. c2006.
300 ## - PHYSICAL DESCRIPTION
Extent xi, 442 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 3855
9 (RLIN) 24449
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 programs
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 24450
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Emerson, E. Allen.
9 (RLIN) 24230
Personal name Namjoshi, Kedar S.
9 (RLIN) 24451
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.14 EMV I000478 22/05/2016 1 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.14 EMV I000477 22/05/2016 2 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   005.14 EMV I000476 22/05/2016 3 22/05/2016