Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications

- Second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019, Proceedings

del av Lecture Notes in Computer Science-serien

del av Theoretical Computer Science and General Issues-serien

Dynamic Logic. New Trends and Applications
Om Dynamic Logic. New Trends and Applications

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030388072
  • Format:
  • Häftad
  • Sidor:
  • 227
  • Utgiven:
  • 14 Januari 2020
  • Utgåva:
  • 12020
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 454 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

Beskrivning av Dynamic Logic. New Trends and Applications

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.

Användarnas betyg av Dynamic Logic. New Trends and Applications



Andra köpte även...
Hitta liknande böcker
Boken Dynamic Logic. New Trends and Applications finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.