Mohlo by sa vám tiež páčiť

Viac informácií o knihe Dynamic Logic. New Trends and Applications

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Program concepts / learning to program

• Celý názov: Dynamic Logic. New Trends and Applications
• Podnázov: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
• Autor: Alexandre Madeira, Mário Benevides
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 201
• EAN: 9783319735788
• ISBN: 3319735780
• ID: 18679643
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 332 g
• Rozmery: 235 × 155 × 14 mm
• Dátum vydania: 10. January 2018

Obľúbené z iného súdka

---

---

---