Autorenfreundlich Bücher kaufen?!
Beschreibung
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.
A Method for High-Level System Design and Analysis
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 03. Oktober 2013 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 680 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642621161 |
| Auflage | Softcover reprint of the original 1st ed. 2003 |
| Seiten | 438 |
Bekannt durch
