Correct System Design
Correct System Design
Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319235066
Condition
New
Product Description
This book is dedicated to Professor Ernst--Rdiger 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-Rdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rdiger 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.
Available Colors
Available Sizes
1 Offer
Price Range: $39.99 - $39.99
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |