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 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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

Dynamic Logic. New Trends and Applications

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

Alexandre Madeira

Mário Benevides

Language

English

Book Paperback

Libristo code: 18679643

Publishers Springer International Publishing AG, January 2018

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 201... Full description

Libristo code: 18679643

136 b

20 460 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Finanzierung von Projekten Jörgen Hofmann

Paperback

6 809 Ft

Trastorno limite de personalidad : borderline Dieter Beck

Paperback

6 961 Ft

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

Paperback

8 153 Ft

Liderazgo de un Director Exitoso Alba Delia Larios Camacho

Paperback

25 539 Ft

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

Paperback

6 433 Ft

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.