78,55 €
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
Of the first edition, Stephen Thomas, PE, Founder and Editor of [...] said, "I highly recommend Mr. Hobbs' book."
Of the first edition, Stephen Thomas, PE, Founder and Editor of [...] said, "I highly recommend Mr. Hobbs' book."
Part 1: Background. 1. Introduction. 2. Terminology of Safety. 3. Safety Standards and Certification. 4. Representative Companies. Part 2: The Project. 5. Foundational Analyses. 6. Certified and Uncertified Components. Part 3: Design Patterns. 7. Architectural Balancing. 8. Error Detection and Handling. 9. Expecting the Unexpected. 10 Replication and Diversification. Part 4: Design Validation. 11. Markov Models. 12. The Fault Tree. 13. Software Failure Rates. 14. Semi-Formal Design Verification. 15. Formal Design Verification. Part 5: Coding. 16. Coding Guidelines. 17. Code Coverage Metrics. 18. Static Analysis. Part 6: Verification. 19. Integration Testing. 20. The Tool Chain. 21. Conclusion. Part 7: Appendices. A. Goal Structuring Notation. B. Bayesian Belief Networks. C .Calculating (2+3)+4. D. Notations.
| Erscheinungsjahr: | 2019 |
|---|---|
| Medium: | Taschenbuch |
| Inhalt: | Einband - flex.(Paperback) |
| ISBN-13: | 9780367338855 |
| ISBN-10: | 0367338858 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Hobbs, Chris |
| Auflage: | 2. Aufl. |
| Hersteller: |
CRC Press
Taylor & Francis |
| Verantwortliche Person für die EU: | preigu GmbH & Co. KG, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de |
| Abbildungen: | 12 Tabellen |
| Maße: | 20 x 156 x 234 mm |
| Von/Mit: | Chris Hobbs |
| Erscheinungsdatum: | 09.08.2019 |
| Gewicht: | 0,58 kg |