株式会社極東書店トップ ＞ 商品一覧 ＞ Correct System Design: Symposium in Honor of Ernst-Ruediger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. 1st ed. 2015
商品詳細
Correct System Design: Symposium in Honor of Ernst-Ruediger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. 1st ed. 2015
・ISBN 978-3-319-23505-9 paper EUR 48.00
￥12,830.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Meyer, Roland / Platzer, Andre / Wehrheim, Heike (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2015 |
| ページ数 | 279 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-14498＞ |
解説
This book is dedicated to Professor Ernst--Ruediger 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--Ruediger Olderog's work. After a laudatio section that provides a brief overview of Ernst--Ruediger 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.