Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
كتاب من تأليف: Philippou, Anna ; Mousavi, Mohammad Reza ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783031086793
الموضوع
الإعلام الآلي
الكلمات الدالة:
architecting
architecture verification and validation
Artificial intelligence
computational linguistics
computer programming
Computer sciences
Computer systems
theoretical computer science
linguistics
