The book is currently out of stock
Parameters
Categories
More about the book
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.
Book purchase
Abstract state machines, Egon Börger
- Language
- Released
- 2003
We’ll notify you via email once we track it down.
Payment methods
- Title
- Abstract state machines
- Language
- English
- Authors
- Egon Börger
- Publisher
- Springer
- Released
- 2003
- ISBN10
- 3540007024
- ISBN13
- 9783540007029
- Category
- Computers, IT, Programming
- Description
- 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.