Mohlo by se vám také líbit

Více informací o knize Dependable Software Engineering: Theories, Tools, and Applications

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

Nákupem získáte 120 bodů

Anotace knihy

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.§§The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.§

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Graphical & digital media applications 3D graphics & modelling

• Plný název: Dependable Software Engineering: Theories, Tools, and Applications
• Podnázev: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
• Autor: Xuandong Li, Zhiming Liu, Wang Yi
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 317
• EAN: 9783319259413
• ISBN: 3319259415
• ID: 09545820
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 5153 g
• Rozměry: 235 × 155 × 18 mm
• Datum vydání: 17. October 2015

Oblíbené z jiného soudku

---

---

---