Verification techniques for system-level design (Record no. 86165)

000 -LEADER
fixed length control field 01553nam a22003494a 4500
001 - CONTROL NUMBER
control field vtls003235599
003 - CONTROL NUMBER IDENTIFIER
control field MY-SjTCS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200226111822.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m u
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120809s2008 ne a sb 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780080553139 (ebk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10203637
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
-- 201208090918
-- wilmina
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.3815
Edition number 22
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Fujita, Masahiro,
Dates associated with a name 1956-
245 10 - TITLE STATEMENT
Title Verification techniques for system-level design
Medium [electronic resource] /
Statement of responsibility, etc. Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Amsterdam ;
-- Boston :
Name of publisher, distributor, etc. Morgan Kaufmann Publishers,
Date of publication, distribution, etc. c2008.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resources (viii, 240 p. : ill.)
490 1# - SERIES STATEMENT
Series statement The Morgan Kaufmann series in systems on silicon
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction Palo Alto, Calif. :
Agency responsible for reproduction ebrary,
Date of reproduction 2009.
Note about reproduction Available via World Wide Web.
-- Access may be limited to ebrary affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Systems on a chip
General subdivision Testing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Integrated circuits
General subdivision Verification.
9 (RLIN) 40219
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science)
9 (RLIN) 8110
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
Source of term local
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ghosh, Indradeep,
Dates associated with a name 1970-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Prasad, Mukul.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ebrary, Inc.
9 (RLIN) 25628
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Morgan Kaufmann series in systems on silicon.
9 (RLIN) 49208
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://ezproxy.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10203637
Public note An electronic book accessible through the World Wide Web; click to view
999 ## - SYSTEM CONTROL NUMBERS (KOHA)
Koha biblionumber 86165
Koha biblioitemnumber 86165
Holdings
Withdrawn status Lost status Damaged status Not for loan Date acquired Date last seen Price effective from
        2020-02-07 2020-02-07 2020-02-07