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

Alle Exemplare dieser ISBN-Ausgabe

3 Gebraucht

Von EUR 63,11

11 Neu

Von EUR 48,37

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

Gebraucht kaufen

Zustand: Wie neu

Unread book in perfect condition...

Diesen Artikel anzeigen

EUR 63,11

W�hrung umrechnen

EUR 17,11 f�r den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 48,37

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

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

Suchergebnisse f�r Dynamic Logic. New Trends and Applications: Second...

Foto des Verk�ufers

Dynamic Logic. New Trends and Applications

Soares Barbosa, Lu�s|Baltag, Alexandru

Verlag: Springer International Publishing, 2020

ISBN 10: 3030388077 ISBN 13: 9783030388072

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 ho. Bestandsnummer des Verk�ufers 385700038

Verk�ufer kontaktieren

Neu kaufen

EUR 48,37

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

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

Alexandru Baltag

Verlag: Springer International Publishing, Springer International Publishing, 2020

ISBN 10: 3030388077 ISBN 13: 9783030388072

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verk�ufers 9783030388072

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Dynamic Logic. New Trends and Applications

Alexandru Baltag

Verlag: Springer International Publishing Jan 2020, 2020

ISBN 10: 3030388077 ISBN 13: 9783030388072

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 240 pp. Englisch. Bestandsnummer des Verk�ufers 9783030388072

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Dynamic Logic. New Trends and Applications

Alexandru Baltag

Verlag: Springer International Publishing, Springer Nature Switzerland Jan 2020, 2020

ISBN 10: 3030388077 ISBN 13: 9783030388072

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. Bestandsnummer des Verk�ufers 9783030388072

Verk�ufer kontaktieren