Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

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 127 b
52.29 €
102.26  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott / Book Book
common.buy 14.99 € 29.33 лв
Du bist so wunderbar gemacht Romina Galotta / Book Hardback
common.buy 13.86 € 27.10 лв
Mies Contra Le Corbusier Hartoonian / Book Hardback
common.buy 251.67 € 492.23 лв
Ultima Amante Del Generalisimo Carlos Perez Ariza / Book Paperback
common.buy 15.61 € 30.54 лв
Murena - Tome 12 - Mort d'un sage Dufaux Jean / Book Hardback
common.buy 21.15 € 41.36 лв
Renkli Salata Dünyas? Ayşe Özdemir / Book Paperback
common.buy 30.72 € 60.08 лв
Кауфман Happy Еnglish 11 кл. Рабочая тетрадь №1 ФГОС (Титул) / Book Paperback
common.buy 8.48 € 16.58 лв
Radiologie dentaire médico-légale Rutu Jani / Book Paperback
common.buy 51.82 € 101.35 лв
Burgen und Schlösser der Harzregion 3. Bd.3 Bernd Sternal / Book Paperback
common.buy 14.37 € 28.11 лв
Избранные этюды для шестиструнной гитары. Учебное пособие для детских музыкальных школ и училищ И. Пермяков / Printed items Sheet music
common.buy 8.48 € 16.58 лв
La dynastie des Ming Duteil / Book Paperback
common.buy 31.39 € 61.39 лв
Tugent Spyl Sebastian Brant / Book Hardback
common.buy 125.42 € 245.30 лв
Praktische Orthothanasie (Sterbebeistand) Im Arbeitsfeld Sozialer Praxis Franco Rest / Book Paperback
common.buy 55.91 € 109.34 лв
Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner / Book Hardback
common.buy 85.08 € 166.40 лв
Mein neuer Musikus - Aktuelle Ausgabe - 4. Schuljahr Anne Boss / Book Sheet
common.buy 12.10 € 23.66 лв
Regulation von Allmendegütern in Brasilien Tim Maier / Book Paperback
common.buy 15.25 € 29.83 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

Top
Teenage Mutant Ninja Turtles: The IDW Collection Volume 1 Tom Waltz / Book Hardback
common.buy 47.01 € 91.94 лв
Dream Jobs in Math Colin Hynson / Book Paperback
common.buy 10.18 € 19.92 лв
Information Security Technology for Applications Tuomas Aura / Book Paperback
common.buy 61.13 € 119.56 лв
The Digital Rights Delusion Monti Andrea (Gabriele d’Annunzio University of Chieti Italy) / E-book Adobe ePub DRM
common.buy 52.96 € 103.58 лв
College of Arts and Sciences - Undergraduate Course Catalog; 1957-1958 Fairfield University / Book Paperback
common.buy 18.41 € 36.00 лв
Praenomina Richard Stephen Charnock / Book Hardback
common.buy 30.72 € 60.08 лв
Dark Nights: Metal Scott Snyder / Book Paperback
common.buy 17.22 € 33.68 лв
The Human Body Richard Walker / Book Hardback
common.buy 28.18 € 55.12 лв
Microwave Tomography Sima Noghanian / Book Paperback
common.buy 108.56 € 212.32 лв
The Keys to the Gateway of Magic: Summoning the Solomonic Archangels & Demon Princes Stephen Skinner / Book Hardback
common.buy 48.87 € 95.58 лв
Diary of Samuel Pepys Samuel Pepys / Book Hardback
common.buy 36.36 € 71.10 лв
Reclaiming Caring in Teaching and Teacher Education Lisa S. Goldstein / Book Paperback
common.buy 38.42 € 75.15 лв
Shadow of Rhiannon Sara Pope - Ramsey / Book Paperback
common.buy 18.92 € 37.01 лв
Modern Societies Stephen K Sanderson / Book Paperback
common.buy 85.59 € 167.41 лв
Longman Dictionary of Language Teaching and Applied Linguistics Richard W. Schmidt / Book Hardback
common.buy 260.98 € 510.43 лв
Professional Mobile Application Development Jeff McWherter / Book Paperback
common.buy 34.13 € 66.75 лв
Gohberg Anniversary Collection Seymour Goldberg / Book Paperback
common.buy 108.56 € 212.32 лв
Software System Design Methods Josef K. Skwirzynski / Book Paperback
common.buy 108.56 € 212.32 лв
Managing Electronic Waste Linda Luther / Book Paperback
common.buy 16.29 € 31.86 лв
Under the Dome Maria Norcia / Book Paperback
common.buy 10.03 € 19.61 лв
Mystical "Beatles" Dean Carter / Book Hardback
common.buy 17.27 € 33.78 лв
Ballot And Corruption And Expenditure At Elections William Dougal Christie / Book Paperback
common.buy 27.87 € 54.51 лв
Managing in Uncertainty Chris Mowles / Book Paperback
common.buy 100.13 € 195.83 лв

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