|
|
|
|
| LEADER |
03096nam a22005415i 4500 |
| 001 |
5312 |
| 003 |
DE-He213 |
| 005 |
20130725191853.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2009 ne | s |||| 0|eng d |
| 020 |
# |
# |
|a 9781402097140
|9 978-1-4020-9714-0
|
| 024 |
7 |
# |
|a 10.1007/978-1-4020-9714-0
|2 doi
|
| 050 |
# |
4 |
|a TK7888.4
|
| 072 |
# |
7 |
|a TJFC
|2 bicssc
|
| 072 |
# |
7 |
|a TEC008010
|2 bisacsh
|
| 082 |
0 |
4 |
|a 621.3815
|2 23
|
| 100 |
1 |
# |
|a Radetzki, Martin.
|e editor.
|
| 245 |
1 |
0 |
|a Languages for Embedded Systems and their Applications
|b Selected Contributions on Specification, Design, and Verification from FDL 08 /
|c edited by Martin Radetzki.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Dordrecht :
|b Springer Netherlands,
|c 2009.
|
| 300 |
# |
# |
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Electrical Engineering,
|v 36
|x 1876-1100 ;
|
| 520 |
# |
# |
|a Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages. The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL 08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.
|
| 650 |
# |
0 |
|a Engineering.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Computer system performance.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer simulation.
|
| 650 |
# |
0 |
|a Electronics.
|
| 650 |
# |
0 |
|a Systems engineering.
|
| 650 |
1 |
4 |
|a Engineering.
|
| 650 |
2 |
4 |
|a Circuits and Systems.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 650 |
2 |
4 |
|a Electronics and Microelectronics, Instrumentation.
|
| 650 |
2 |
4 |
|a Special Purpose and Application-Based Systems.
|
| 650 |
2 |
4 |
|a System Performance and Evaluation.
|
| 650 |
2 |
4 |
|a Simulation and Modeling.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9781402097133
|
| 830 |
# |
0 |
|a Lecture Notes in Electrical Engineering,
|v 36
|x 1876-1100 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4020-9714-0
|
| 912 |
# |
# |
|a ZDB-2-ENG
|
| 950 |
# |
# |
|a Engineering (Springer-11647)
|