Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Lecture Notes in Electrical Engineering - Martin Radetzki - Books - Springer-Verlag New York Inc. - 9781402097133 - April 30, 2009
In case cover and title do not match, the title is correct

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

Martin Radetzki

Price
$ 183.99

Ordered from remote warehouse

Expected delivery Jul 12 - 26
Add to your iMusic wish list

Also available as:

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

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.


324 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 2009
ISBN13 9781402097133
Publishers Springer-Verlag New York Inc.
Pages 324
Dimensions 155 × 235 × 20 mm   ·   653 g
Language English  
Editor Radetzki, Martin