| EAN: | 9781489994417 |
|---|---|
| Auflage: | 2012 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 268 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ka¿mierski, Tom J. Morawiec, Adam |
| Veröffentlichungsdatum: | 03.03.2014 |
| 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 aids Includes language-based modeling and design techniques for embedded systems Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains Includes 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