Description
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.
Book Details
Format
Paperback
Pages
472 pages
Language
English
Published
Mar 12, 2014
Publisher
Springer
ISBN-10
3662206196
ISBN-13
9783662206195