Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Couverture souple

 
9783030388072: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Couverture souple
ISBN 10 : 3030388077 ISBN 13 : 9783030388072
Editeur : Springer, 2020

Synopsis

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. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design. 

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2020
Langue
anglais
ISBN 10 
3030388077
ISBN 13 
9783030388072
Reliure
Broché
Nombre de pages
240
Éditeur
Soares Barbosa Luís, Baltag Alexandru
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Autres éditions populaires du même titre

9783030388096: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Edition présentée

ISBN 10 :  3030388093 ISBN 13 :  9783030388096
Editeur : Springer, 2020
Couverture souple