Verwandte Artikel zu Dynamic Logic. New Trends and Applications: Second...

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)

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.

  • VerlagSpringer
  • Erscheinungsdatum2020
  • ISBN 10 3030388077
  • ISBN 13 9783030388072
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten240
  • HerausgeberSoares Barbosa Luís, Baltag Alexandru
  • Kontakt zum HerstellerNicht verfügbar

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

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

Alexandru Baltag
ISBN 10: 3030388077 ISBN 13: 9783030388072
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. 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

Beispielbild für diese ISBN

Verlag: Springer, 2020
ISBN 10: 3030388077 ISBN 13: 9783030388072
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9783030388072_new

Verkäufer kontaktieren

Neu kaufen

EUR 62,09
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Soares Barbosa, Luís (Editor)/ Baltag, Alexandru (Editor)
ISBN 10: 3030388077 ISBN 13: 9783030388072
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 200 pages. 9.25x6.10x0.59 inches. In Stock. Artikel-Nr. x-3030388077

Verkäufer kontaktieren

Neu kaufen

EUR 79,02
Währung umrechnen
Versand: EUR 11,86
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb