Kniha momentálne nie je na sklade
Viac o knihe
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.
Nákup knihy
Domain Science and Engineering, Dines Bjørner
- Jazyk
- Rok vydania
- 2021
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Podtitul
- A Foundation for Software Development
- Jazyk
- anglicky
- Autori
- Dines Bjørner
- Vydavateľ
- Springer International Publishing
- Rok vydania
- 2021
- Väzba
- pevná
- Počet strán
- 420
- ISBN13
- 9783030734831
- Série
- Anotácia
- 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.