| EAN: | 9781461414261 |
|---|---|
| Auflage: | 2012 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 268 |
| Produktart: | Gebunden |
| Herausgeber: | Ka¿mierski, Tom J. Morawiec, Adam |
| Veröffentlichungsdatum: | 02.12.2011 |
| Untertitel: | Selected Contributions from FDL 2010 |
160,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Covers design verification, automatic synthesis and mechanized debug aidsIncludes language-based modeling and design techniques for embedded systemsCovers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domainsIncludes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)Includes supplementary material: sn.pub/extras
Verwandte Artikel