| 000 -LEADER |
|---|
| fixed length control field |
03175cam a22005295i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
7917514 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210823115226.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 n |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
090611s2009 xxu| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9789400702561 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-1-4419-0504-8 |
| Source of number or code |
doi |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(WaSeSS)ssj0000317403 |
| 038 ## - RECORD CONTENT LICENSOR |
|---|
| Staff Name |
khadija |
| 040 ## - CATALOGING SOURCE |
|---|
| Modifying agency |
WaSeSS |
| Transcribing agency |
. |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK7888.4 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFC |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TEC008010 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.21 |
| Edition number |
23 |
| Author Mark |
MAR |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Marwedel, Peter |
| Relator term |
author. |
| 9 (RLIN) |
61206 |
| 210 10 - ABBREVIATED TITLE |
|---|
| Abbreviated title |
Embedded System Design |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Embedded System Design / |
| Statement of responsibility, etc. |
Peter Marwedel |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
2nd ed |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
System Design Methodologies -- Modeling -- System Synthesis -- Software Synthesis -- Hardware Synthesis -- Verification -- Embedded Design Practice. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
License restrictions may limit access. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: . System modeling at different abstraction levels . Model-based system design . Hardware/Software codesign . Software and Hardware component synthesis . System verification This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering. |
| 563 ## - BINDING INFORMATION |
|---|
| Binding note |
paper back |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software engineering. |
| 9 (RLIN) |
2256 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer aided design. |
| 9 (RLIN) |
10558 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Systems engineering. |
| 9 (RLIN) |
1386 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Engineering. |
| 9 (RLIN) |
81603 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Circuits and Systems. |
| 9 (RLIN) |
81558 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer-Aided Engineering (CAD, SMME) and Design. |
| 9 (RLIN) |
81559 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software Engineering/Programming and Operating Systems. |
| 9 (RLIN) |
81560 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Abdi, Samar. |
| Relator term |
author. |
| 9 (RLIN) |
81561 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gerstlauer, Andreas. |
| Relator term |
author. |
| 9 (RLIN) |
81562 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Schirner, Gunar. |
| Relator term |
author. |
| 9 (RLIN) |
81563 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 9 (RLIN) |
81564 |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 773 #0 - HOST ITEM ENTRY |
|---|
| Title |
SpringerLink ebooks - Engineering (2009) |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9781441905031 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.columbia.edu/cgi-bin/cul/resolve?clio7917514">http://www.columbia.edu/cgi-bin/cul/resolve?clio7917514</a> |
| Public note |
Full text available from SpringerLink ebooks - Engineering (2009) |
| 910 ## - USER-OPTION DATA (OCLC) |
|---|
| User-option data |
Vendor-generated brief record |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
Book |
