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

Viac informácií o knihe Dependable Software Engineering: Theories, Tools, and Applications

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

Nákupom získate 120 bodov

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Graphical & digital media applications 3D graphics & modelling

• Celý názov: Dependable Software Engineering: Theories, Tools, and Applications
• Podnázov: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
• Autor: Xuandong Li, Zhiming Liu, Wang Yi
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 317
• EAN: 9783319259413
• ISBN: 3319259415
• ID: 09545820
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 5153 g
• Rozmery: 235 × 155 × 18 mm
• Dátum vydania: 17. October 2015

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

---

---

---