描述
In this collection, readers encounter a series of invited technical papers presented at the 16th International Workshop on Algebraic Development Techniques held in Frauenchiemsee, Germany. The proceedings showcase the latest advancements and innovative approaches to software architecture, particularly focusing on mobility and component-based systems.
Through detailed explorations of coinductive calculi, the authors highlight the intersection of algebraic methods and practical software development. This compilation serves as a valuable resource for researchers and practitioners in the field, offering insights that bridge theoretical frameworks with real-world applications. The discussions reflect the evolving nature of algebraic techniques and their impact on contemporary software engineering practices.
Through detailed explorations of coinductive calculi, the authors highlight the intersection of algebraic methods and practical software development. This compilation serves as a valuable resource for researchers and practitioners in the field, offering insights that bridge theoretical frameworks with real-world applications. The discussions reflect the evolving nature of algebraic techniques and their impact on contemporary software engineering practices.
書籍詳情
格式
平裝書
頁數
472 頁
語言
英語
已出版
Mar 12, 2014
出版商
Springer
ISBN-10
3662206196
ISBN-13
9783662206195