Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
(Bog, Hardback, Engelsk)
Forlag:
Springer-Verlag New York Inc.
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9781402097133
- Se flere detaljer ▼
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag New York Inc. |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2009 ed. |
| Udgivelsesdato | 30-04-2009 |
| Første udgivelsesår | 2009 |
| Serie | Lecture Notes in Electrical Engineering |
| Illustrationer | XIV, 324 p. |
| Fagredaktør | Martin Radetzki |
| Originalsprog | United States |
| Sideantal | 324 |
| Indbinding | Hardback |
| Forlag | Springer-Verlag New York Inc. |
| Sideoplysninger | 324 pages, XIV, 324 p. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9781402097133 |