Mathematics of Program Construction
14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
كتاب من تأليف: Komendantskaya, Ekaterina ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783031169120
الموضوع
الإعلام الآلي
الكلمات الدالة:
Artificial intelligence
automata theory
Computer networks
computer programming
distributed computer systems
Distributed systems
formal logic
functional programming
mathematics
matrix algebra
