Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
كتاب من تأليف: Wies, Thomas ; Finkbeiner, Bernd ; نشر في: 2022
طبعة:
Cham:
Springer International Publishing
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783030945831
الموضوع
الإعلام الآلي
الكلمات الدالة:
architecting
architecture verification and validation
Artificial intelligence
computer hardware
Computer networks
computer programming
formal logic
Internet
