Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Correct System Design

Name: Correct System Design
Brand: Springer International Publishing AG
SKU: 09545743
Price: 52.23 EUR
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

Език

Английски език

Книга С меки корици

Код Либристо: 09545743

Издателство Springer International Publishing AG, август 2015

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Цялото описание

Код Либристо: 09545743

127 b

52.23 €

102.16 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Ultima Amante Del Generalisimo Carlos Perez Ariza

С меки корици

15.60 € 30.51 лв

Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner

С твърди корици

84.99 € 166.22 лв

Tugent Spyl Sebastian Brant

С твърди корици

125.29 € 245.05 лв

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

Ноти

8.47 € 16.56 лв

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

С меки корици

8.47 € 16.56 лв

MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott

Книга

14.98 € 29.30 лв

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.