Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Dynamic Logic. New Trends and Applications

First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Alexandre Madeira

Mário Benevides

Език

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

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

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

Издателство Springer International Publishing AG, януари 2018

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 201... Цялото описание

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

132 b

54.41 €

106.41 лв

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

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

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

Finanzierung von Projekten Jörgen Hofmann

С меки корици

18.10 € 35.39 лв

Trastorno limite de personalidad : borderline Dieter Beck

С меки корици

19.86 € 38.83 лв

Programa de refuerzo : resiliencia : programa Avante-IV Antonio Vallés Arándiga

С меки корици

23.32 € 45.61 лв

Liderazgo de un Director Exitoso Alba Delia Larios Camacho

С меки корици

67.80 € 132.61 лв

Aprender sueco - 150 palavras com pronúncias - Principiante GnB

С меки корици

13.03 € 25.48 лв

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions.