Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
كتاب من تأليف: Rosu, Grigore ; Fisman, Dana ; نشر في: 2022
طبعة:
Cham:
Springer International Publishing
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783030995249
الموضوع
الإعلام الآلي
الكلمات الدالة:
Computer sciences
Microprogramming
Computer engineering
Computer networks
Computer simulation
Software engineering
