Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

Lecture Notes in Electrical Engineering

Languages for Embedded Systems and their Applications

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

Editors: Radetzki, Martin (Ed.)

Free Preview
  • Covers the latest research results in the field
  • Gives an overview of current research trends in the field
  • Offers extended versions of the best-rated contributions to the number one conference in the field
  • Makes connections to applications in an industrial context
see more benefits

Buy this book

eBook 142,79 €
price for Spain (gross)
  • ISBN 978-1-4020-9714-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 187,19 €
price for Spain (gross)
  • ISBN 978-1-4020-9713-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 174,94 €
price for Spain (gross)
  • ISBN 978-90-481-8191-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (20 chapters)

Table of contents (20 chapters)

Buy this book

eBook 142,79 €
price for Spain (gross)
  • ISBN 978-1-4020-9714-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 187,19 €
price for Spain (gross)
  • ISBN 978-1-4020-9713-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 174,94 €
price for Spain (gross)
  • ISBN 978-90-481-8191-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Languages for Embedded Systems and their Applications
Book Subtitle
Selected Contributions on Specification, Design, and Verification from FDL'08
Editors
  • Martin Radetzki
Series Title
Lecture Notes in Electrical Engineering
Series Volume
36
Copyright
2009
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-1-4020-9714-0
DOI
10.1007/978-1-4020-9714-0
Hardcover ISBN
978-1-4020-9713-3
Softcover ISBN
978-90-481-8191-9
Series ISSN
1876-1100
Edition Number
1
Number of Pages
XIV, 324
Topics