Languages for system specification (Record no. 31751)

000 -LEADER
fixed length control field 01573nam a2200373Ia 4500
001 - CONTROL NUMBER
control field EBC218343
003 - CONTROL NUMBER IDENTIFIER
control field MiAaPQ
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040519s2004 maua sb 100 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2004051544
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 1402079907 (cased)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 1402079915 (e-book)
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC218343
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL218343
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10129780
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL61683
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)56498619
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TK7885.7
Item number .F35 2003
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.392
Edition number 22
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element FDL'03
Date of meeting (2003)
245 10 - TITLE STATEMENT
Title Languages for system specification
Medium [electronic resource] :
Remainder of title selected contributions on UML, SystemC, System Verilog, mixed-signal systems, and property specification from FDL'03 /
Statement of responsibility, etc edited by Christoph Grimm.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boston ;
-- London :
Name of publisher, distributor, etc Kluwer Academic Publishers,
Date of publication, distribution, etc 2004.
300 ## - PHYSICAL DESCRIPTION
Extent x, 357 p. :
Other physical details ill.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer hardware description languages
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Integrated circuits
General subdivision Very large scale integration
-- Design and construction
Form subdivision Congresses.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Grimm, Christoph.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ProQuest (Firm)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://ezproxy01.ny.edu.hk:2048/login?url=https://ebookcentral.proquest.com/lib/ircp3g4/detail.action?docID=218343
Public note Click to View

No items available.


Hong Kong Nang Yan College of Higher Education
Lee Yan Fong Library
325-329 Lai Chi Kok Road, Shamshuipo, Kowloon, HONG KONG