Correct System Design - Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Paperback, 1st ed. 2015)

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 9360
Release date:	September 2015
First published:	2015
Editors:	Roland Meyer • Andre Platzer • Heike Wehrheim
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	279
Edition:	1st ed. 2015
ISBN-13:	978-3-319-23505-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-319-23505-2
Barcode:	9783319235059

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!