The book is currently out of stock
More about the book
Focusing on domain engineering, the author explores its scientific foundations and illustrates how to extract requirements for computing systems from domain descriptions. The book emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities, providing a structured approach to understanding and developing computing systems.
Book purchase
Domain Science and Engineering, Dines Bjørner
- Language
- Released
- 2021
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.