Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Lecture Notes in Electrical Engineering - Martin Radetzki - Kirjat - Springer-Verlag New York Inc. - 9781402097133 - torstai 30. huhtikuuta 2009
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 188,99

Tilattu etävarastosta

Arvioitu toimitus to 23. touko - ti 4. kesä
Lisää iMusic-toivelistallesi

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 30. huhtikuuta 2009
ISBN13 9781402097133
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 324
Mitta 155 × 235 × 20 mm   ·   653 g
Kieli English  
Toimittaja Radetzki, Martin