Correct System Design

Name: Correct System Design
SKU: 24078002
Price: 149.00 NZD
Availability: InStock

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

Format:

Paperback / softback

Series:

Theoretical Computer Science and General Issues

Show Hide Adult Content

$149.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.25 with Afterpay Learn more

6 weekly interest-free payments of $24.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 4-14 June using International Courier

Description

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.

Release date NZ

September 3rd, 2015

Audience

Professional & Vocational

Contributors

Edited by Andre Platzer
Edited by Heike Wehrheim
Edited by Roland Meyer

Edition

1st ed. 2015

Illustrations

69 Illustrations, color; XII, 279 p. 69 illus. in color.

Pages

279

Series

Theoretical Computer Science and General Issues

Dimensions

155x235x15

ISBN-13

9783319235059

Product ID

24078002

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Non-Fiction Books:

Correct System Design

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*