This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.
€56.53
语言 英语 ● 格式 PDF ● ISBN 9783319247045 ● 编辑 Wolfram Kahl & Jose Oliveira ● 出版者 Springer International Publishing ● 发布时间 2015 ● 下载 3 时 ● 货币 EUR ● ID 6303498 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
47,502 此类电子书
