Vertel uw vrienden over dit artikel:
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
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
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
Vrijgegeven | 30 april 2009 |
ISBN13 | 9781402097133 |
Uitgevers | Springer-Verlag New York Inc. |
Pagina's | 324 |
Afmetingen | 155 × 235 × 20 mm · 653 g |
Taal en grammatica | Engels |
Uitgever | Radetzki, Martin |
Bekijk alles van Martin Radetzki ( bijv. Hardcover Book en Paperback Book )