Name: Correct System Design
Price: 2095.00 TWD
Availability: InStock
Author: André Platzer;Heike Wehrheim;Roland Meyer
ISBN: 9783319235073

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer Nature B.V.

Author

André Platzer;Heike Wehrheim;Roland Meyer

Year

2015

Language

English

Pages

292

Format

Paperback

Dimensions

23.4 x 15.6 cm

ISBN13

9783319235073

Correct System Design

André Platzer;Heike Wehrheim;Roland Meyer (Author) · Springer Nature B.V. · Paperback

New Book Imported to Taiwan

Delivery: 15 Sep - 28 Sep

NT$ 2,095

NT$ 2,095

Add to Wishlist

Synopsis "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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Correct System Design - André Platzer;Heike Wehrheim;Roland Meyer

Synopsis "Correct System Design"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery