Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Correct System Design

Name: Correct System Design
Brand: Springer International Publishing AG
SKU: 09545743
Price: 18921 HUF
Availability: InStock
Author: Roland Meyer
ISBN: 9783319235059

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

Roland Meyer

André Platzer

Heike Wehrheim

Language

English

Book Paperback

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

Libristo code: 09545743

126 b

18 921 Ft

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

6 140 Ft

Du bist so wunderbar gemacht Romina Galotta

Hardback

5 208 Ft

Mies Contra Le Corbusier Hartoonian

Hardback

86 783 Ft

Ultima Amante Del Generalisimo Carlos Perez Ariza

Paperback

5 317 Ft

Murena - Tome 12 - Mort d'un sage Dufaux Jean

Hardback

7 038 Ft

Renkli Salata Dünyas? Ayşe Özdemir

Paperback

12 573 Ft

Кауфман Happy Еnglish 11 кл. Рабочая тетрадь №1 ФГОС (Титул)

Paperback

2 906 Ft

Radiologie dentaire médico-légale Rutu Jani

Paperback

18 757 Ft

Burgen und Schlösser der Harzregion 3. Bd.3 Bernd Sternal

Paperback

5 376 Ft

Избранные этюды для шестиструнной гитары. Учебное пособие для детских музыкальных школ и училищ И. Пермяков

Sheet music

2 906 Ft

La dynastie des Ming Duteil

Paperback

10 599 Ft

Tugent Spyl Sebastian Brant

Hardback

46 784 Ft

Praktische Orthothanasie (Sterbebeistand) Im Arbeitsfeld Sozialer Praxis Franco Rest

Paperback

20 885 Ft

Mein neuer Musikus - Aktuelle Ausgabe - 4. Schuljahr Anne Boss

Sheet

4 508 Ft

Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner

Hardback

30 149 Ft

Ejercicios de Revision: Basado en el Libro de Texto de Bioquimica D. M. Vasudevan

Paperback

3 174 Ft

Regulation von Allmendegütern in Brasilien Tim Maier

Paperback

5 718 Ft

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.