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 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
phone Contact phoneHow to shop
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

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Dynamic Logic. New Trends and Applications Alexandre Madeira
Libristo code: 41045018
Publishers Springer, December 2017
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 201... Full description
? points 146 b
22 102 Ft
In stock Immediate digital delivery

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. The workshop is based on the project DaLi - Dynamic logics for cyber-physical systems: towards contract based design.

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 Dynamic Logic. New Trends and Applications
Author Alexandre Madeira, Mario Benevides
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2017
EAN 9783319735795
Libristo code 41045018
Publishers Springer

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer science > Image processing
Computing & Information Technology > Business applications
Computing & Information Technology > Computer security
Computing & Information Technology > Computer networking & communications
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

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