Abstract State Machines: A Method for High-Level System Design and Analysis 2003rd Edition, Kindle Edition
Produktdetails
| Artikelnummer | 220801401 | Erscheinungsdatum | 2026/05/03 | Listenpreis | €17.34 | Modellnummer | 220801401 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
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. Read more
| XRay | Not Enabled |
|---|---|
| ISBN13 | 978-3642182167 |
| Edition | 2003rd |
| Language | English |
| File size | 7.0 MB |
| Page Flip | Not Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 448 pages |
| Accessibility | Learn more |
| Publication date | December 6, 2012 |
| Enhanced typesetting | Not Enabled |
Korrektur der Produktinformationen
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
Korrekturanfrage