MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03532aam a22005411i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
42121 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
0000000000 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240411193037.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m || d | |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
181224s2019 sz ob 101 0 eng d |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB918108 |
| Source |
bnb |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030022153 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030022150 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783030022143 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(Uk)019215715 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783030022150 |
| Source of stock number/acquisition |
Springer Nature |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
N$T |
| Language of cataloging |
eng |
| Transcribing agency |
N$T |
| Modifying agency |
N$T |
| -- |
GW5XE |
| -- |
Uk |
| Description conventions |
rda |
| -- |
pn |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
ukblsr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK7867 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TEC |
| Subject category code subdivision |
009070 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
621.3815 |
| Edition number |
23 |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Languages, design methods, and tools for electronic system design : |
| Remainder of title |
selected contributions from FDL 2017 / |
| Statement of responsibility, etc. |
[edited by] Daniel Große, Sara Vinco, Hiren Patel |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2019. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in electrical engineering ; |
| Volume/sequential designation |
530 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces.- 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach.- 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers.- 4. Language and Hardware Acceleration Backend for Graph Processing.- 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction.- 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers modeling and verification methodologies targeting digital and analog systems; Addresses firmware development and validation; Targets both functional and non-functional properties; Includes descriptions of methods for reliable system design. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (EBSCO, viewed December 27, 2018) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer-aided design |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Electronic circuit design |
| General subdivision |
Data processing |
| Form subdivision |
Congresses. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
TECHNOLOGY & ENGINEERING / Mechanical. |
| Source of heading or term |
bisacsh |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Grosse, Daniel, |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Patel, Hiren D., |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Vinco, Sara, |
| Relator term |
editor. |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FDL (Conference) |
| Number of part/section/meeting |
(20th : |
| Date of meeting or treaty signing |
2017 : |
| Location of meeting |
Verona, Italy) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in electrical engineering ; |
| Volume/sequential designation |
530. |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1qQa4k83p_mnhUsmHUQnofo1v_8rowF5I/view?usp=sharing">https://drive.google.com/file/d/1qQa4k83p_mnhUsmHUQnofo1v_8rowF5I/view?usp=sharing</a> |
| 859 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| -- |
ELD |
| 884 ## - DESCRIPTION CONVERSION INFORMATION |
|---|
| Conversion process |
LDL ebooks ONIX to marcxml transformation using Record_Load-eBooks_Legal_Deposit_onix2marc_v2-1.xsl |
| Conversion date |
20190116 |
| Identifier of source metadata |
com.springer.onix.9783030022150 |
| Conversion agency |
Uk |
| 889 ## - |
|---|
| -- |
(OCoLC)1080190660 |
