الوصف
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