Das Buch ist derzeit nicht auf Lager
Parameter
Kategorien
Mehr zum Buch
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.
Buchkauf
Abstract state machines, Egon Börger
- Sprache
- Erscheinungsdatum
- 2003
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Abstract state machines
- Sprache
- Englisch
- Autor*innen
- Egon Börger
- Verlag
- Springer
- Erscheinungsdatum
- 2003
- ISBN10
- 3540007024
- ISBN13
- 9783540007029
- Kategorie
- Informatik & Programmierung
- 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.