Kniha momentálne nie je na sklade
Viac o knihe
Refinement serves as a crucial link in software engineering, transforming abstract descriptions of systems into practical implementations. This process bridges the gap between high-level requirements and their execution, ensuring that theoretical concepts are effectively translated into functional software or hardware solutions. The book delves into the methodologies and principles of refinement, highlighting its importance in achieving precise and reliable system design.
Nákup knihy
Refinement, John Derrick, Eerke Boiten
- Jazyk
- Rok vydania
- 2018
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Refinement
- Podtitul
- Semantics, Languages and Applications
- Jazyk
- anglicky
- Autori
- John Derrick, Eerke Boiten
- Vydavateľ
- Springer International Publishing
- Vydavateľ
- 2018
- Väzba
- pevná
- Počet strán
- 292
- ISBN13
- 9783319927091
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Refinement serves as a crucial link in software engineering, transforming abstract descriptions of systems into practical implementations. This process bridges the gap between high-level requirements and their execution, ensuring that theoretical concepts are effectively translated into functional software or hardware solutions. The book delves into the methodologies and principles of refinement, highlighting its importance in achieving precise and reliable system design.