[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Correct System Design

Language EnglishEnglish
Book Paperback
Book Correct System Design Roland Meyer
Libristo code: 09545743
Publishers Springer International Publishing AG, August 2015
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
The Human Body Richard Walker / Hardback
common.buy 30.50 €
Dark Nights: Metal Scott Snyder / Paperback
common.buy 18.72 €
Teenage Mutant Ninja Turtles: The IDW Collection Volume 1 Tom Waltz / Hardback
common.buy 52.33 €
Longman Dictionary of Language Teaching and Applied Linguistics Richard W. Schmidt / Hardback
common.buy 246.72 €
Professional Mobile Application Development Jeff McWherter / Paperback
common.buy 41.41 €
Software System Design Methods Josef K. Skwirzynski / Paperback
common.buy 134.22 €
Ultima Amante Del Generalisimo Carlos Perez Ariza / Paperback
common.buy 18.51 €
Reclaiming Caring in Teaching and Teacher Education Lisa S. Goldstein / Paperback
common.buy 43.56 €
Shadow of Rhiannon Sara Pope - Ramsey / Paperback
common.buy 22.36 €
Modern Societies Stephen K Sanderson / Paperback
common.buy 80.91 €
Mystical "Beatles" Dean Carter / Hardback
common.buy 20.97 €

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.

About the book

Full name Correct System Design
Author Roland Meyer, André Platzer, Heike Wehrheim
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 279
EAN 9783319235059
ISBN 3319235052
Libristo code 09545743
Publishers Springer International Publishing AG
Weight 4453
Dimensions 155 x 235 x 14

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account