Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Lecture Notes in Electrical Engineering 36 (Hardback)
  • Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Lecture Notes in Electrical Engineering 36 (Hardback)
zoom

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Lecture Notes in Electrical Engineering 36 (Hardback)

(editor)
£159.99
Hardback 324 Pages / Published: 30/04/2009
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781402097133
Number of pages: 324
Weight: 1440 g
Dimensions: 235 x 155 x 20 mm
Edition: 2009 ed.

You may also be interested in...

Electronic Circuits, 4th ed
Added to basket
Encyclopedia of Electronic Components
Added to basket
Arduino in Easy Steps
Added to basket
Electronics For Dummies
Added to basket
Make: Analog Synthesizers
Added to basket
Arduino For Dummies
Added to basket
£16.99
Paperback
Make: More Electronics
Added to basket
Robotics: A Very Short Introduction
Added to basket
Arduino Workshop
Added to basket
£24.99
Paperback
Getting Started with Arduino
Added to basket
Arduino Cookbook
Added to basket
Debugging
Added to basket
£11.50
Paperback
Integrated Circuit 555 Projects
Added to basket
Exploring Arduino
Added to basket
£26.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.