Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08 (Paperback, Softcover reprint of hardcover 1st ed. 2009)

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.

General

Imprint:	Springer
Country of origin:	Netherlands
Series:	Lecture Notes in Electrical Engineering, 36
Release date:	October 2010
First published:	2009
Editors:	Martin Radetzki
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	324
Edition:	Softcover reprint of hardcover 1st ed. 2009
ISBN-13:	978-90-481-8191-9
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
LSN:	90-481-8191-7
Barcode:	9789048181919

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!