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 |