Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings: 12005 (Theoretical Computer Science and General Issues) - Softcover

 
9783030388072: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings: 12005 (Theoretical Computer Science and General Issues)
Softcover
ISBN 10: 3030388077 ISBN 13: 9783030388072
Verlag: Springer, 2020

Inhaltsangabe

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. 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2020
Sprache
Englisch
ISBN 10 
3030388077
ISBN 13 
9783030388072
Einband
Tapa blanda
Auflage
1
Anzahl der Seiten
240
Herausgeber
Soares Barbosa Luís, Baltag Alexandru
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3030388093 ISBN 13:  9783030388096
Verlag: Springer, 2020
Softcover