Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Correct System Design: Symposium in Honor of Ernst-Rudiger Olderog on the Occasion  of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

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

£43.99
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

This book is dedicated to Professor Ernst--Rudiger 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--Rudiger Olderog's work. After a laudatio section that provides a brief overview of Ernst--Rudiger 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.

Computing & ITComputer programming / software developmentProgramming & scripting languages: generalComputing & ITComputer programming / software developmentSoftware EngineeringComputing & ITComputer scienceArtificial intelligenceComputing & ITComputer scienceMathematical theory of computationScience & MathematicsMathematicsMathematical foundations Publisher: Springer International Publishing AG Publication Date: 23/08/2015 ISBN-13: 9783319235059  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Roland Meyer

More books by Andre Platzer

More books by Heike Wehrheim

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Second Class Available free for ALL orders. No charge for each additional book. 3-7 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Python for Scientists
(Paperback)
John M. Stewart
 
 
£29.99
 
Building Web Applications with Visual...
(Paperback)
Philip Japikse; Kevin Grossnicklaus;...
 
 
£33.99
 
Building Apps for the Universal...
(Paperback)
Ayan Chatterjee
 
 
£27.99
 
Building Java Programs: A Back to...
(Books & other media combined)
Stuart Reges; Marty Stepp
 
 
£63.10
 
Latest Blog
ZED Books: The role of the independent publisher in a content-obsessed world
18/08/2017

Indie publisher ZED Books have a radical approach to their books and their company structure. Here, they talk to us about the role independent publishers can play in a world of ever expanding (and less than reliable) information sources.

Blog - J R Wallis on Monsters as Metaphors
16/08/2017

J R Wallis questions the conventional view of monsters as metaphors for the worries we have about the state of the world around us.

#FoylesFive: Creative Women
14/08/2017

Meg from the Web Team tells us why she loves to learn about creative, dynamic women.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd