Text

Correct system design

---

This book is dedicated to Professor Ernst--Rüdiger 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-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger 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

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

328

Publisher

Cham : Springer., 2015

Collation

viii, 270 pages

Language

English

ISBN/ISSN

9783319235066

Classification

328

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Congress

Specific Detail Info

symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday Oldenburg, Germany, September 8-9, 2015. Proceedings

Statement of Responsibility

-

Other Information

Cataloger

Kurnadi

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment