Mohlo by se vám také líbit

Více informací o knize Dynamic Logic. New Trends and Applications

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Program concepts / learning to program

• Plný název: Dynamic Logic. New Trends and Applications
• Podnázev: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
• Autor: Alexandre Madeira, Mário Benevides
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 201
• EAN: 9783319735788
• ISBN: 3319735780
• ID: 18679643
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 332 g
• Rozměry: 235 × 155 × 14 mm
• Datum vydání: 10. January 2018

Oblíbené z jiného soudku

---

---

---