Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 - Lecture Notes in Electrical Engineering - Martin Radetzki - Książki - Springer-Verlag New York Inc. - 9781402097133 - 30 kwietnia 2009
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 747,90

Zamówione z odległego magazynu

Przewidywana dostawa 2 - 14 paź
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 30 kwietnia 2009
ISBN13 9781402097133
Wydawcy Springer-Verlag New York Inc.
Strony 324
Wymiary 155 × 235 × 20 mm   ·   653 g
Język English  
Redaktor Radetzki, Martin