Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Dynamic Logic. New Trends and Applications

Dynamic Logic. New Trends and Applications - Bog

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

indgår i Lecture Notes in Computer Science serien

indgår i Theoretical Computer Science and General Issues serien

Dynamic Logic. New Trends and Applications
Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030388072
  • Indbinding:
  • Paperback
  • Sideantal:
  • 227
  • Udgivet:
  • 14. Januar 2020
  • Udgave:
  • 12020
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 454 g.
  • 2-3 uger.
  • 24. Oktober 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Dynamic Logic. New Trends and Applications



Andre købte også..
Find lignende bøger
Bogen Dynamic Logic. New Trends and Applications findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.