Stock image for illustration purposes only - book cover, edition or condition may vary.
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Volume 36)
Martin . Ed(S): Radetzki
€ 190.76
FREE Delivery in Ireland
Description for Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Volume 36)
hardcover. This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL '08, the top international conference specializing in this field. Editor(s): Radetzki, Martin. Series: Lecture Notes in Electrical Engineering. Num Pages: 338 pages, biography. BIC Classification: TJFC; UMX; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
2009
Publisher
Springer United States
Number of pages
338
Condition
New
Series
Lecture Notes in Electrical Engineering
Number of Pages
324
Place of Publication
New York, NY, United States
ISBN
9781402097133
SKU
V9781402097133
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Volume 36)