Correct System Design

Symposium in Honor of Ernst-R?diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

By: Andre Platzer (Editor), Roland Meyer (Editor), Heike Wehrheim (Editor)

Write A Review

Paperback | 3 September 2015

At a Glance

Paperback
292 Pages

Dimensions(cm)
23.5 x 15.5 x 1.91

Paperback

$79.99

or 4 interest-free payments of $20.00 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.