Le livre est actuellement en rupture de stock

En savoir plus sur le livre
The author delves into domain engineering, illustrating its scientific foundations and demonstrating how to extract requirements prescriptions for computing systems from domain descriptions. The work emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical entities, offering a unique perspective on the intersection of mathematics and software development.
Achat du livre
Domain Science and Engineering, Dines Bjørner
- Langue
- Année de publication
- 2022
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .