This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, Fro Co S 2011, held in Saarbrücken, Germany, in October 2011.
The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● 网页 275 ● ISBN 9783642243646 ● 编辑 Cesare Tinelli & Viorica Sofronie-Stokkermans ● 出版者 Springer Berlin ● 市 Heidelberg ● 国家 DE ● 发布时间 2011 ● 下载 24 个月 ● 货币 EUR ● ID 2247065 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器