Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL'08 - Author

eTEXT

Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

By: Author

eText | 24 May 2009

At a Glance

eText


$239.00

or 4 interest-free payments of $59.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Read online on
Desktop
Tablet
Mobile

Not downloadable to your eReader or an app

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
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.
Read online on
Desktop
Tablet
Mobile

More in Circuits & Components

Arduino Workshop - mark davies

eBOOK

Electromagnetics - steffano torres

eBOOK

Digital Electronics - Knowledge Flow

eBOOK

Electronic Circuits - Victor Martell

eBOOK

Handbook of Computer Architecture - Anupam Chattopadhyay

eBOOK

RRP $969.00

$872.99

10%
OFF