This book is dedicated to Professor Ernst–Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog’s contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst–Rudiger Olderog’s work. After a laudatio section that provides a brief overview of Ernst–Rudiger Olderog’s research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.
€50.72
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783319235066 ● 编辑 Roland Meyer & Andre Platzer ● 出版者 Springer International Publishing ● 发布时间 2015 ● 下载 3 时 ● 货币 EUR ● ID 6303431 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
48,763 此类电子书
