Mohlo by se vám také líbit

Více informací o knize Formal Methods and Software Engineering

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

Nákupem získáte 175 bodů

Anotace knihy

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.

The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Formal Methods and Software Engineering
• Autor: Jingyi Wang, Naijun Zhan
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 416
• EAN: 9789819542123
• ISBN: 981954212X
• ID: 49786071
• Nakladatelství: Springer-Verlag GmbH
• Hmotnost: 628 g
• Rozměry: 235 × 155 mm
• Datum vydání: 06. December 2025

Oblíbené z jiného soudku

---

---

---