Dynamic Logic. New Trends and Applications
Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Häftad, Engelska, 2020
Av Luís Soares Barbosa, Alexandru Baltag, Luis Soares Barbosa, Alexandru Soares Barbosa, Luís
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2020-01-14
- Mått155 x 235 x 14 mm
- Vikt371 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor227
- FörlagSpringer Nature Switzerland AG
- ISBN9783030388072