Bookbot

Refinement

Semantics, Languages and Applications

Parameters

  • 292 pages
  • 11 hours of reading

More about the book

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.

Publication

Book purchase

Refinement, John Derrick, Eerke Boiten

Language
Released
2018
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.Add rating