Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
كتاب من تأليف: Chai, Ming ; Schlingloff, Bernd-Holger ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
الموضوع
الإعلام الآلي
الكلمات الدالة:
architecting
architecture verification and validation
Artificial intelligence
Databases
distributed computer systems
Distributed systems
embedded systems
engineering
formal logic
mathematics
model checking
object-oriented programming
