Dynamic Logic. New Trends and Applications 1

Data & IT

Dynamic Logic. New Trends and Applications

Carlos Areces • Diana Costa

Pocket

809:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 899:-

155 sidor
2023

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaL 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.

Författare: Carlos Areces, Diana Costa
Format: Pocket/Paperback
ISBN: 9783031266218
Språk: Engelska
Antal sidor: 155
Utgivningsdatum: 2023-02-15
Förlag: Springer International Publishing AG