株式会社極東書店トップ ＞ 商品一覧 ＞ Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08. 2009 ed.
商品詳細
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08. 2009 ed.
・ISBN 978-1-4020-9713-3 hard EUR 149.99
￥40,091.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Radetzki, Martin (ed.), |
|---|---|
| シリーズ | (Lecture Notes in Electrical Engineering) |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2009 |
| ページ数 | 324 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-44136＞ |
解説
Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.