Kniha momentálne nie je na sklade
Parametre
Kategórie
Viac o knihe
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.
Nákup knihy
Abstract state machines, Egon Börger
- Jazyk
- Rok vydania
- 2003
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Abstract state machines
- Jazyk
- anglicky
- Autori
- Egon Börger
- Vydavateľ
- Springer
- Rok vydania
- 2003
- ISBN10
- 3540007024
- ISBN13
- 9783540007029
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.