Tallenna
Languages for Embedded Systems and their Applications
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.
- Alaotsikko
- Selected Contributions on Specification, Design, and Verification from FDL'08
- Toimittaja
- Martin Radetzki
- Painos
- Softcover reprint of hardcover 1st ed. 2009
- ISBN
- 9789048181919
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.10.2010
- Kustantaja
- Springer
- Sivumäärä
- 324
