We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications

- Second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019, Proceedings

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Dynamic Logic. New Trends and Applications
About Dynamic Logic. New Trends and Applications

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030388072
  • Binding:
  • Paperback
  • Pages:
  • 227
  • Published:
  • January 14, 2020
  • Edition:
  • 12020
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 454 g.
Delivery: 1-2 weeks
Expected delivery: October 20, 2024

Description of Dynamic Logic. New Trends and Applications

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods.

User ratings of Dynamic Logic. New Trends and Applications



Others also bought..
Find similar books
The book Dynamic Logic. New Trends and Applications can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.