Bookbot
Das Buch ist derzeit nicht auf Lager

Refinement

Semantics, Languages and Applications

Parameter

Seitenzahl
292 Seiten
Lesezeit
11 Stunden

Mehr zum Buch

Focusing on the concept of refinement in software engineering, this book explores how to transform abstract system descriptions into practical implementations. It emphasizes the importance of refinement as a crucial link between high-level requirements and their executable counterparts, providing insights into formal methodologies that enhance the software development process. Through detailed explanations, it guides readers in effectively applying refinement techniques to achieve robust and reliable software solutions.

Publikation

Buchkauf

Refinement, John Derrick, Eerke Boiten

Sprache
Erscheinungsdatum
2019
product-detail.submit-box.info.binding
(Paperback)
Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden