Correct System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Name: Correct System Design
Brand: Springer International Publishing AG
SKU: 9783319235059
Price: 7200 KES
Availability: OutOfStock
ISBN: 9783319235059

1st ed. 2015

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319235052

ISBN-13 9783319235059

Edition 1st ed. 2015

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Sep 3rd, 2015

Print length 279 Pages

Product Classification: Mathematical foundations Mathematical logic Compilers Compilers and interpreters Software Engineering Mathematical theory of computation Artificial intelligence Artificial intelligence (AI)

KSh 7,200.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. 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.

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.

Get Correct System Design by André Platzer at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 279 pages.