.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Correct System Design
. Ed(S): Meyer, Roland; Platzer, Andre; Wehrheim, Heike
€ 66.66
FREE Delivery in Ireland
Description for Correct System Design
Paperback. Editor(s): Meyer, Roland; Platzer, Andre; Wehrheim, Heike. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 69 colour illustrations, biography. BIC Classification: PBC; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
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.
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.
Product Details
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
279
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
279
Place of Publication
Cham, Switzerland
ISBN
9783319235059
SKU
V9783319235059
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Correct System Design